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