1. Определите с помощью таблицы истинности, является ли формула тождественно истинной или тождественно ложной: a · (b · (¬a ∨ ¬b)).

Question

Вопрос:

Accepted Answer

Обозначим умножение как логическое «И», а знак ∨ — как «ИЛИ». Переберём все значения переменных:

a	b	¬a	¬b	¬a ∨ ¬b
0	0	1	1	1
0	1	1	0	1
1	0	0	1	1
1	1	0	0	0

Во всех строках формула принимает значение 0.

Ответ: формула тождественно ложная.