ДНФ- дизьюктивная нормальная форма. КНФ-коньюктивная
2.3.1. Разложение Б.ф. по переменным
, 
xy=1, x=y, xy=0
x¹0, xy=x=y
Теорема. (о разложении б.ф.по переменным):
множественная дизъюнкция образованная по всевозможным подстановкам (s1,…,sm)
Док-во построено на совпадении вычисленного значения формулы со значением ф-ии на произвольном наборе аргументов. x1=a1, x2=a2,…, xn=an
В силу произвольности фиксир-ого набора теорема доказана.
Следствия:
1. 
2. 
