Импликант P функции называется простым, если
- СДНФ функции
- в нем содержатся все переменные функции без отрицаний
- в нем содержатся все переменные функции с отрицаниями
- при его удалении функция не меняет своего значения
- при удалении любой переменной из P, полученная элементарная конъюнкция перестает быть импликантом
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.