Нормальные формы формул. Теорема о единственности СДНФ и СКНФ

Формула находится в дизъюнктивной нормальной форме (ДНФ), если она является дизъюнкцией (может быть и одночленной) элементарных конъюнкций. Например, формулы (x y) ( x y z), y (t & s), t, y находятся в ДНФ. Формула находится в конъюнктивной нормальной форме (КНФ), если она является конъюнкцией (может быть и одночленной) элементарных дизъюнкций. Например, формулы (x y) & ( x y z), y & (t s), t, y находятся в КНФ.

Из всех нормальных форм формулы выделим совершенные формы. Из ДНФ выделим Совершенную ДНФ (СДНФ). Формула находится в СДНФ относительно своего списка переменных, если каждый её дизъюнктивный член содержит по одному разу в прямом или инверсном виде все переменные формулы, и все её дизъюнктивные члены попарно различны. Например, формула в СДНФ: (x & y & z) (x & y & z) ( x & y & z).