Нормальные формы. Элементарной конъюнкцией называется конъюнкция нескольких переменных, взятых с отрицанием или без отрицания

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

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

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

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

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

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

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

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