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