Нужна помощь с дискретной математикой

[katerinka3003]

Помогите решить 2 задачи:
1) нужно проверить рассуждение: В воскресенье я либо пойду на лыжах, либо основательно отосплюсь. Если я пойду на лыжах, то я физически окрепну. Если же основательно отосплюсь, то в понедельник буду чувствовать себя бодро. Если я физически окрепну в воскресенье, то в понедельник буду чувствовать себя бодро. Следовательно в понедельник я буду чувствовать себя бодро.

2) Нужно доказать тождество алгебры множеств 5-ю способами: графический, метод двух включений, метод характеристической функции, логический способ и метод равносильных преобразований. Графическим и методом равносильных преобразований у меня получилось, а вот всеми остальными способами не получается, помогите пожалуйста:
A\(B\C)=(A\B)U(A и С)