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

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

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

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