Разложение функции f(х1,…,хn) по переменной х1 называется выражение вида

Пример: 


СДНФ- есть дизъюнктивная нормальная формула, в которой каждый конъюнкт входит ровно 1 раз, причем либо он сам либо его отражение.
СКНФ- называется конъюнкция некоторых переменных значений, которые равны 0, среди которых нет одинаковых.
ДНФ- дизъюнкция простых конъюнкций.
КНФ- конъюнкция простых дизъюнкций.
Многочлен Жегалкина x1…xn от n переменной,называется выражение, состоящее из 0 и 1 обозначения переменной x. Они являются строительным материалом для множества.
Многочлен Жегалкина от n переменной x1…xn,называется сумма
, где aj – {0,1} все переменные
входят в первую степень, наборы {i1…ik}.
Канонический многочлен Жегалкина от n переменных,называется функция вида 