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

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

Элементарная конъюнкция и дизъюнция

Определния

Теорема.

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

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

Очевидно

Следствие