По правилу построения таблиц истинности для двух переменных выписываем набора значений: , , , . Для трёх переменных выписываем наборов: от до . В каждой таблице сначала вычисляем действия в скобках и отрицания, затем И, затем ИЛИ; отрицание над всем выражением выполняем последним.
а) Сначала вычисляем , затем соединяем результат с операцией И. Например, для , имеем , но .
Последний столбец совпадает со столбцом : операция И пропускает единицу только при .
б) Сначала меняем значение на противоположное. При любом одно из высказываний и истинно, поэтому . Затем .
в) Сначала найдём значение : оно равно только в наборе . Затем выполним И с . Если , итог ; если , в скобках уже есть единица и итог .
г) Черта над относится только к , а длинная черта отрицает всё выражение . Сначала вычисляем и , затем их ИЛИ, после чего меняем результат на противоположный.
Итак, в каждой таблице последний столбец содержит значение заданного выражения для всех возможных входных наборов.
