Вариант 2. Составить таблицу истинности для формулы: (¬A ∧ B) ∨ ¬(A ∨ B) ∨ A.

Question

Вопрос:

Accepted Answer

Сначала вычислим отрицание дизъюнкции и конъюнкцию, затем объединим три части дизъюнкцией.

A	B	¬A	¬A ∧ B	A ∨ B	¬(A ∨ B)	(¬A ∧ B) ∨ ¬(A ∨ B) ∨ A
0	0	1	0	0	1	1
0	1	1	1	1	0	1
1	0	0	0	1	0	1
1	1	0	0	1	0	1

В последнем столбце во всех строках стоит 1, поэтому формула является тождественно истинной.

Ответ: