Чем отличается совершенная конъюнктивная нормальная форма от совершенной дизъюнктивной нормальной формы?

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

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

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

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

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

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