Пропозициональная формула Y составлена из пропозициональных переменных p

Условие: столбец значений формулы Y в таблице истинности формулы Y есть столбец [10111000].
По определению, из формулы P логически следует формула Q, если при любых истинностных значениях переменных, составляющих P и Q, как только будет P  1, так будет Q  0. Отсюда, в частности, доказывается, что из противоречия pp логически следует любая формула, и из любой формулы логически следует тавтология pp.
1) Пусть формулы A и Y являются СДНФ от переменных p, q, r . Тогда из A логически следует Y, если и только если каждая составляющая конъюнкция в A является также составляющей конъюнкцией в Y. Это так потому, что по свойству дизъюнкции, из P (или Q) логически следует PQ, но из PQ логически не следует P (и Q).
СДНФ формулы Y имеет следующий вид:
(pqr)(pqr)(pqr)(pqr).
Исходя из сказанного, мы теперь перечислим все попарно неэквивалентные формулы A, такие, что из A логически следует Y:
pp, (pqr)(pqr), (pqr)(pqr)(pqr),
pqr, (pqr)(pqr), (pqr)(pqr) (pqr),
pqr, (pqr)(pqr), (pqr) (pqr)(pqr),
pqr, (pqr)(pqr), (pqr)(pqr)(pqr),
pqr, (pqr)(pqr), (pqr)(pqr)(pqr)(pqr).
(pqr)(pqr),
2) Пусть формулы Y и B являются СКНФ от переменных p, q, r