Пример построения КНФ

Приведем к КНФ формулу

Преобразуем формулу F к формуле не содержащей →:

В полученной формуле перенесем отрицание к переменным и сократим двойные отрицания:

По закону дистрибутивности получим КНФ:

Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:

Понятие «неблагополучная семья», ее основные характеристики. Типология неблагополучных семей

Мгновенный центр скоростей (МЦС) и его определение. Определение скоростей точек тела с помощью МЦС

Личностные качества волонтеров, которые определяют эффективность волонтерской работы

Три этапа Великой Отечественной войны

Расчет на прочность при срезе и смятии

Источники международного права

Самый сильный аргумент, почему эволюция человека не могла быть