Изменения
ДНФ
,Нет описания правки
Формула <math>f(\vec{x})</math> от n переменных называется '''совершенно дизъюктивной нормальной формой(СДНФ)''', если она обладает следующими свойствами :
# <math>f(\vec x)</math> является ДНФ, в которой каждая элементарная конъюнкция есть конъюнкция n переменных x<subtex>1x_1</subtex>, x<sub>2</sub>,...,x<sub>n</sub>, причем на i-ом месте этой конъюнкции стоит i-ый терм.
# Все элементарные конъюнкции в такой ДНФ попарно различны.
