Автор работы: Пользователь скрыл имя, 06 Ноября 2013 в 19:56, лекция
Элементарной конъюнкцией называется конъюнкция нескольких переменных, взятых с отрицанием или без отрицания, причем среди переменных могут быть одинаковые: ¬X&X; X&¬Z; ¬ X&Y& ¬Z ; Всякую дизъюнкцию элементарных конъюнкций назовем дизъюнктивной нормальной формой (ДНФ): (X &X &¬Y) Ú(¬X&Z).
Cовершенной ДНФ называется ДНФ, в которой нет одинаковых элементарных конъюнкций и все конъюнкции состоят из одного и того же набора переменных, в который каждая переменная входит только один раз (возможно с отрицанием)X&Y&¬ZVX&Y& Z.