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