Свойства совершенства

1. Каждое слагаемое, входящее в формулу, содержит все переменные входящие в исходную формулу.

2. Все слагаемые в формуле различны.

3. Ни одно слагаемое не содержит одновременно переменную и ее отрицание.

4. Ни одно слагаемое не содержит одну и ту же переменную дважды.

ДНФ для которой выполняются формулы совершенства называют совершенной ДНФ (СДНФ).

Пути нахождения СДНФ:

1. Находим любую ДНФ.

2. Если какое-то слагаемое не содержит всех переменных (например х), то к слагаемому дописываем и пользуемся свойством

3. Если слагаемое содержит переменную и ее отрицание, то оно обращается в «0».

4. Если формула содержит 2 одинаковых слагаемых, то по свойству остается одно слагаемое.

5. Если формула содержит два одинаковых элемента, то по свойству остается один элемент.