Понятие о СДНФ

ДНФ – логическая сумма элементарных конъюнкций: ā₁a₂+a₁ā₂+a₁ā₂a₃.

СДНФ – это ДНФ, в каждом слагаемом которой присутствуют все переменные или их отрицания: ā₁a₂a₃+a₁ā₂a₃+a₁ā₂ā₃.

1. Для перехода от ДНФ к СДНФ необходимо в каждое слагаемое, в котором не представлены все аргументы, ввести выражение вида a_i+ā_i (=1, не меняет значение функции).

2. Если функция дана в табличной форме:

1.выделить те строки в ТИ, где y=1,

2.для каждого выделенного набора строится конъюнкцию всех переменных, от кт зависит функция, причем, если в наборе переменная = 0, то записывается она с отрицанием,

3.полученные лог. произведения лог. складываем.Y=ā₁a₂+a₁ā₂+a₁a₂= a₂(ā₁­+a₁)+a₁(ā₂+a₂)=a₂+a₁