Необходимо доказать клаузы: а) методом резолюций; б) «методом секвенций» (методом «разбора формул»). При несовпадении результатов построить таблицу истинности.
Классный автор, с которым рад буду еще поработать. И можно быть на 100% уверенным, что любую доработку Игорь выполнит в короткий срок!" Всё выполнено по требованиям. Надеюсь на дальнейшее плодотворное сотрудничество!