Примеры. Преобразуем формулы, устраняя «лишние» логические связки и «опуская» отрицания на предикаты, а затем последовательно «вытаскива-е

Пример 2.5

Привести формулы к ПНФ:

а) ;

б) .

Решение

Преобразуем формулы, устраняя «лишние» логические связки и «опуская» отрицания на предикаты, а затем последовательно «вытаскива-ем» кванторы из-под логических связок с помощью преобразований типа А или типа В, при необходимости применяя переименование переменных.

а)

.

б)

.

Дата добавления: 2014-01-06