Задание 2. Проверьте, предварительно составив по таблицам истинности логические законы: а) отрицание конъюнкции: не (A и B) = (не A) или (не B); б) отрицание дизъюнкции: не (A или B) = (не A) и (не B).

Question

Вопрос:

Accepted Answer

Обозначения: 1 — истина, 0 — ложь. Сравним значения левой и правой частей при всех наборах A и B.

а) Отрицание конъюнкции

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

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

б) Отрицание дизъюнкции

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

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

Ответ: