Задачи в файлах.
Задача 1 - доказать три клаузы методом резолюций, методом секвенций (методом "разбора формул"), при несовпадении результатов построить таблицу истинности.
Задача 2 - доказать истинность предикатной клаузы методом резолюций.
Нужно подробное решение, с объяснением шагов.