Нормальные формы

Нормальные формы стротся на основании операций конъюнкции, дизъюнкции и отрицания.

СДНФ и СКНФ

Теорема.

Для любой БФ существуют выражающие её КНФ и ДНФ.

Доказательство

Очевидно

Следствие