Изменения

ДНФ

147 байт убрано, 20:42, 26 февраля 2012

→‎СДНФ

СДНФ (Совершенная Дизъюнктивная Нормальная Форма)''' — это такая ДНФ, которая удовлетворяет условиям:

* в ней нет одинаковых элементарных конъюнкций

* в каждой конъюнкции нет одинаковых переменных* каждая элементарная конъюнкция ~~содержит каждый из аргументов функции.~~полная

}}

Пример СДНФ:

54

правки