Пример 2.6

Пример 2.5.

Конъюнкция конституент 0 носит название совершенной конъюнктивной нормальной формой (СКНФ).

СДНФ и СКНФ строится по соответствующей таблице истинности. СДНФ представляет собой дизъюнкцию всех конституент единицы, соответствующих тем наборам, на которых функция принимает значение единицы. СКНФ определяется по таблице истинности следующим образом. При этом переменная, имеющая в наборе значение ноль, входит в конституенту единицы с отрицанием, а имеющая значение единицы – без отрицания. СКНФ представляет собой конъюнкцию всех конституент 0, соответствующих тем наборам, на которых функция равна 0. При этом переменной, имеющей в наборе значение 0, в конституенте соответствует сама переменная, а переменной имеющей значение 1, соответствует отрицание переменной.

Дата добавления: 2014-01-05