Сначала необходимо, чтобы знак отрицания стоял только перед отдельными переменными, а не перед их комбинациями, для этого дважды нужно применить правило де Моргана; затем использовать закон двойного отрицания.

Пример 24:

Выносятся за скобки общие множители; применяется правило операций с константами. Пример 25:

К отрицаниям неэлементарных формул применяется правило де Моргана; используются законы двойного отрицания и склеивания.

Пример 26:

Общий множитель x выносится за скобки, комбинируются слагаемые в скобках – первое с третьим и второе с четвертым, к дизъюнкции применяется правило операции переменной с её инверсией.

Пример 27:

Используются распределительный закон для дизъюнкции, правило операции переменной с ее инверсией, правило операций с константами, переместительный закон и распределительный закон для конъюнкции.

Пример 28:

Используются правило де Моргана, закон двойного отрицания и закон поглощения.

2.2. Нормальные формы

Элементарной конъюнкцией называется конъюнкция нескольких переменных, взятых с отрицанием или без отрицания, причём среди переменных могут быть одинаковые.

Элементарной дизъюнкцией называется дизъюнкция нескольких переменных, взятых с отрицанием или без отрицания, причём среди переменных могут быть одинаковые.

Конъюнктивная нормальная форма

Всякая конъюнкция элементарных дизъюнкций называется конъюнктивной нормальной формой, то есть КНФ.

16