Таблицу, показывающую, какие значения принимает составное высказывание при всех сочетаниях (наборах) значений входящих в него простых высказываний, называют таблицей истинности составного высказывания.
Слайд 2
Таблицу, показывающую, какие значения принимает составное высказывание при
всех сочетаниях (наборах) значений входящих в него простых высказываний,
называют таблицей истинности составного высказывания.
Слайд 3
Алгоритм построения таблицы истинности: подсчитать количество переменных n в
логическом выражении; определить число строк в таблице, которое равно m=2n; подсчитать
количество логических операций в логическом выражении и определить количество столбцов в таблице, которое равно количеству переменных плюс количество операций; ввести названия столбцов таблицы, в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов; заполнить столбцы входных переменных наборами значений; провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии в установленной в п.4 последовательностью.
Слайд 4
Наборы входных переменных, во избежание ошибок, рекомендуется перечислять
следующим образом:
разделить колонку значений первой переменной пополам, и заполнить
верхнюю часть нулями, а нижнюю единицами; разделить колонку второй переменной на 4 части и заполнить каждую четверть чередующимися группами нулей и единиц; продолжать деление колонок, до тех пор, пока колонка не будет состоять из одного символа.