Кабинет Информатики

Построение таблиц истинности для логических выражений

Для логического выражения можно построить таблицу истинности, показывающую, какие значения принимает выражение при всех наборах значений входящих в него переменных. Для построения таблицы истинности следует:

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

​​​​​​​