ДНФ и СКНФ отличаются подходом к представлению булевых функций:
- ДНФ (дизъюнктивная нормальная форма) представляет булеву функцию как сумму элементарных произведений аргументов. multiurok.ru Для каждого набора переменных, на которых функция равна 1, записывают минтерм ранга n, в которых с отрицанием берутся переменные, равные 0 на данном наборе. multiurok.ru Все минтермы объединяют дизъюнктивно. multiurok.ru
- СКНФ (совершенная конъюнктивная нормальная форма) представляет булеву функцию как логическое произведение элементарных логических сумм. multiurok.ru Для каждого набора переменных, на которых функция равна 0, записывают макстерм ранга n, в котором с отрицанием берутся переменные, имеющие значение 1 на данном наборе. multiurok.ru Все макстермы объединяют конъюнктивно. multiurok.ru
Таким образом, ДНФ фокусируется на представлении функции через множество единиц, а СКНФ — через множество нулей. ru.wikipedia.org