5_Normalnye_formy

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

Разновидности
ДНФ
КНФ

Элементарной конъюнкцией (дизъюнкцией)
Называется выражение, состоящее из конечного числа переменных и их отрицаний, взятых в этом выражении не более одного раза и разделенных операциями конъюнкции (дизъюнкции)

Пример

Дизъюнктивной нормальной формой (ДНФ)
Называется дизъюнкция конечного числа элементарных конъюнкций

Конъюнктивной нормальной формой (КНФ)
Называется конъюнкция конечного числа элементарных дизъюнкций

Пример

Совершенная нормальная форма
Если в каждой ее элементарной дизъюнкции(конъюнкции) представлены все переменные, входящие в данную функцию –либо сами, либо с отрицаниями

Пример