Чтобы доказать, что две формулы равносильны, можно воспользоваться следующим подходом: 2

1. Составить их эквиваленцию и с помощью таблицы истинности проверить, не является ли она тавтологией. 5
2. Для каждой формулы составить таблицу истинности и сравнить итоговые результаты. 5 Если в итоговых столбцах при одинаковых наборах значений переменных значения истинности обеих формул будут равны, то формулы являются равносильными. 5

Также для доказательства равносильности можно использовать рассуждения, опирающиеся на свойства элементарных булевых функций. 4 Например, если один из аргументов дизъюнкции равен 1, то левая часть тождественно равна 1 и поэтому равна правой. 4