Построение таблиц истинности

Слайд 2

Таблицу, показывающую, какие значения принимает составное высказывание при всех сочетаниях (наборах)

Таблицу, показывающую, какие значения принимает составное высказывание при всех сочетаниях (наборах)

значений входящих в него простых высказываний, называют таблицей истинности составного высказывания.
Слайд 3

Алгоритм построения таблицы истинности: подсчитать количество переменных n в логическом выражении;

Алгоритм построения таблицы истинности:

подсчитать количество переменных n в логическом выражении;
определить число

строк в таблице, которое равно m=2n;
подсчитать количество логических операций в логическом выражении и определить количество столбцов в таблице, которое равно количеству переменных плюс количество операций;
ввести названия столбцов таблицы, в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов;
заполнить столбцы входных переменных наборами значений;
провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии в установленной в п.4 последовательностью.