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