Доказать методом резолюций

[VLAAD]

Добрый день помогите пожалуйста!
a. А → (В → С), А → (В v С) => А → С
b. А ~ -В, A v C, -(С & Е), В → С, B v D, А → Е => D ~ Е; -(С & D)
c. A, D → С, В v (А → D), В → С => С
решить 3 примера методом Резолюций! Спасибо большое!

[Lia]

Тема перемещена из форума «Мат. логика, основания математики, теория алгоритмов» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);
- отсутствуют собственные содержательные попытки решения задач(и).

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.