СКНФ (совершенная конъюнктивная нормальная форма) и СДНФ (совершенная дизъюнктивная нормальная форма) — это формы представления логических функций, которые используются в математической логике и цифровой схемотехнике. 2
Некоторые отличия СКНФ и СДНФ:
- Форма представления:
- СКНФ — это форма логического выражения, представляющая его как конъюнкцию (логическое «И») дизъюнктов (выражений с операцией «ИЛИ»). 2 В СКНФ логическая функция равна единице только тогда, когда все дизъюнкты одновременно равны единице. 2
- СДНФ — это форма логического выражения, представляющая его как дизъюнкцию (логическое «ИЛИ») конъюнктов (выражений с операцией «И»). 2 В СДНФ логическая функция принимает значение 1 при наличии хотя бы одного истинного конъюнкта. 2
Ещё одно отличие:
- Основа для построения:
- СКНФ — строки таблицы истинности, где логическая функция принимает значение «0». 2
- СДНФ — строки, где функция принимает значение 1, создавая макстермы. 2 Здесь переменные, равные 1, записываются без изменений, а переменные, равные 0, заменяются на их отрицание. 2
Любую функцию, кроме констант 0 и 1, можно представить в виде как СДНФ, так и СКНФ. 3 Константа 0 может быть представлена только СКНФ, а константа 1 — только СДНФ. 3