Примеры решения задач. Пример 1.Производя равносильные преобразования докажите, что формула является тавтологией

Пример 1. Производя равносильные преобразования докажите, что формула является тавтологией .

Решение.

Запишем цепочку равносильных формул:

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

Решение.

Пример 3. Упростить формулу .

Решение.

Пример 4. Равносильны ли формулы

и .

Решение.