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