Как доказывать логические формулы?

Question

[zig48]

Дается к примеру равносильность выражающая эквивалентность через другие операции (полная формула во вложении). Как мне доказать подобные формулы?
Таблицу истинности в качестве доказательства училка не принимала.

Answer 1

[Filipp42]

Можно привести в дизъюнктивную нормальную форму и сравнить, можно сравнить таблицы истинности, или преобразовать одно в другое.

Comments

[Griboks]

Короче говоря, как и любые другие математические (не)равенства.

Answer 2

[Григорий Боев]

Самое железобетонное и в от же время простое - составить таблицы истинности;
Ещё можно преобразовать с помощью тождеств (де Моргана, конъюнкция/дизъюнкция с самим собой/0/1, коммуникативные/ассоциативные правила и т.п.) - их не так много, штук 15 базовых.