Совершенная конъюнктивная нормальная форма (СКНФ) и совершенная дизъюнктивная нормальная форма (СДНФ) отличаются по характеру операций. 13

СКНФ — это конъюнктивная нормальная форма, которая представляет собой логическое произведение элементарных логических сумм, причём каждая сумма содержит все аргументы или их отрицания. 4 СКНФ удовлетворяет трём условиям: 3

1. Не содержит одинаковых элементарных дизъюнкций. 3
2. Ни одна из дизъюнкций не содержит одинаковых переменных. 3
3. Каждая элементарная дизъюнкция содержит каждую переменную из входящих в данную КНФ. 3

СДНФ — это дизъюнктивная нормальная форма, которая представляет собой сумму элементарных произведений аргументов. 4 СДНФ удовлетворяет трём условиям: 3

1. Не содержит одинаковых элементарных конъюнкций. 3
2. Ни одна из конъюнкций не содержит одинаковых переменных. 3
3. Каждая элементарная конъюнкция содержит каждую переменную из входящих в данную ДНФ, к тому же в одинаковом порядке. 3

Несмотря на различия, СКНФ и СДНФ равносильны, так как, будучи записанными по одной и той же таблице истинности, они реализуют одну и ту же формулу. 2