Методом резолюций выясните, истинно ли приведённое утверждение.
Решите эту задачу, используя два метода из следующих: метод
исчерпания уровня, стратегия вычёркивания, лок-резолюция и
табличный метод (последний для случая, если заданное множество
является множеством хорновских дизъюнктов): А?(В?С), D?E?A, C?F? B?(F?D)