Условие:
Проверить двумя способами эквивалентность формул:
- Составлением таблиц истинности;
- С помощью эквивалентных преобразований.
Решение:
Составим таблицы истинности:
Как видим, формулы не являются эквивалентными.
Преобразуем первую формулу 
:
- избавляем от штриха Шеффера :