Аналитический способ задания булевой функции
дизьюнктивная нормальная форма (ДНФ)
Дизъюнкти́вная норма́льная фо́рма (ДНФ)
в булевой логике — нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов.
совершенная дизьюнктивная нормальная форма (СДНФ)
СДНФ это такая ДНФ, которая удовлетворяет трём условиям:
- в ней нет одинаковых элементарных конъюнкций;
- в каждой конъюнкции нет одинаковых пропозициональных букв;
- каждая элементарная конъюнкция содержит каждую пропозициональную букву из входящих в данную ДНФ пропозициональных букв, причем в одинаковом порядке.
Для любой функции алгебры логики существует своя СДНФ, причем единственная.