Условие:
Проверить (доказать) все законы логики с помощью таблицы истинности.
Решение:
Коммутативность дизъюнкции и конъюнкции следует из определения этих операций.
Докажем ассоциативность дизъюнкции и конъюнкции, соответственно,
![]()
Строим таблицы истинности.

Значения функции совпали.
Проверим...
