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