Истинностная функция

представлена своими СДНФ и СКНФ, причём при их записи использовались альтернативные обозначения:

и

.
В СДНФ утеряна одна конъюнкция, а в СКНФ – одна дизъюнкция (утерянные части подчёркнуты), т.е. даны следующие формы:

;

.
Известно, что в утерянную конъюнкцию входит символ

.
Тогда утеряны …