Пример: Получим дизъюнктивную форму для формулы

(P Úù Q) ®R

(PÚù Q) ®R=ù ( P Úù Q)Ú R= ( по п. 2)

=( ù P Úù (ù Q))Ú R= ( по п. 10а)

=( ù P ÙQ ) Ú R ( по 9 ). Вернуться

Алгоритмы, эффективно распознающие достоверность