lec03

Единственность СДНФ для фиксированного набора переменных.

СДНФ единственная для только в том случае, когда фиксировано количество переменных n - (x1,x2, … xn).

С вводом новых фиктивных переменных СДНФ будет меняться!

Пример 3.7.

(x) = x1, n = 1 СДНФ;

(x1,x2) = x1 – ДНФ, но не СДНФ.

n = 2, x2 - фиктивная переменная, тогда (x1,x2) = x1 преобразуем согласно методам приведения к СДНФ.

x1 I = x1 ( 2 2) = 1 2 1 2.