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