Методические указания к выполнению расчетно-графической работы по математической логике и теории алгоритмов

23 В) Для множества дизъюнктов S={Ci,C2, •,Ст} применяем метод резолюций. Формула В будет логическим следствием формул Л 7, А2, ••, An тогда и только тогда, когда существует вывод пустого дизъюнкта из S. Остальные задания не требуют особых указаний по их выполнению. Желательно графики для задания № 15 выполнять аккуратно вручную или, как уже указано, использовать графические возможности компьютера.