Установить тип формулы S= 
.
Определим КНФ для отрицания S:
.
КНФ для 
не удовлетворяет условию теоремы 3, следовательно, S – выполнима, то есть 
, так как 
.
Обратимся к вопросу о правильности рассуждений. Чтобы убедиться в том, что рассуждение верно, нужно либо преобразовать импликацию S= P1ÙP2Ù...ÙPn®Q к КНФ и удостовериться в том, что она удовлетворяет условиям теоремы 3, либо преобразовать к ДНФ и убедиться в том, что она удовлетворяет условиям теоремы 4.
В упражнении 2.2.1 
. Преобразуем S к виду КНФ.
Конъюнктивная нормальная форма удовлетворяет условиям теоремы 3, каждый сомножитель есть тождественно истинное высказывание, а также и их произведение, что и требовалось получить.
