Проверить корректность рассуждения. Для того чтобы сдать экзамен

Введем обозначения для элементарных высказываний:
А — «сдам экзамен»;
В — «достану учебник»;
С — «достану конспект»;
D — «приятель уедет».
Формализуем рассуждение:
A→B∨C — посылка;
¬D→C — посылка;
C→D — посылка;
A — заключение.
Требуется проверить A→B∨C, ¬D→C, C→D⊨A . Логическое следование имеет место, когда при истинности всех посылок истинно заключение