Условие задачи
Найдите 2 логические формулы Y1 Y2 которые логически не эквивалентны так что бы если мы подставим каждую из них вместо Y в формуле α, формула будет тавтологией:
Ответ
Упростим исходную функцию
Для нахождения функции Y1 воспользуемся формулой
А А=1
Составим отрицание PQ
(PQ)
Получим Y1 = ...