Построение таблиц истинности для логических выражений
Для логического выражения можно построить таблицу истинности, показывающую, какие значения принимает выражение при всех наборах значений входящих в него переменных. Для построения таблицы истинности следует:
- Подсчитать n - число переменных в выражении;
- Подсчитать общее число логических операций в выражении;
- Установить последовательность выполнения логических операций с учётом скобок и приоритетов;
- Определить число столбцов в таблице: число переменных + число операций;
- Заполнить шапку таблицы, включив в неё переменные и операции в соответствии с последовательностью, установленной в п.3;
- Определить число строк в таблице (не считая шапки таблицы) m = 2n;
- Выписать наборы входных переменных с учётом того, что они представляют собой целый ряд n-разрядных двоичных чисел от 0 до 2n - 1;
- Провести заполнение таблицы по столбцам, выполняя логические операции в соответствии с установленной последовательностью.