Математическая логика, доказать клаузы. - вопрос №1452383
Даны 3 клаузы. Каждую из них надо доказать методом Вонга и методом натурального исчисления. Также первую клаузу надо доказать методом резолюций. Итого — 7 примерчиков должно быть. Не бесплатно, конечно.