Логика(пожалуйста помогите завтра модуль) - вопрос №1503037

Ниже приведены по три клаузы в одном варианте. Каждую клаузу необходимо доказать следующими методами: аксиоматическим, натурального исчисления, резолюций, и Вонга. Вариант 22.
A ∨ B, C → B, B → A, A → C ⇒ B ∧ C,
A → C, B ~ C, B ∨ D, B → A ⇒ D; A ∧ C,
A ∨ B, D ∨ E, D ∨ C, D → C ⇒ A ∧ D; B; C ∧ E.

май 25, 2015 г.