Добавил:
ukusezha
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:lec03
.pdfЕдинственность СДНФ для фиксированного набора переменных.
СДНФ единственная для только в том случае, когда фиксировано количество переменных 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.
Все конъюнкты полные СДНФ. |
31 |
Соседние файлы в предмете Математическая логика и теория алгоритмов