Условие:
Если пример будет сложным, то ученик с ним не справится. Ученик справился с примером. Следовательно, он не был сложным.
Я пойду домой или останусь здесь и выпью стаканчик. Я не пойду домой. Следовательно, я останусь и выпью.

Если пример будет сложным, то ученик с ним не справится. Ученик справился с примером. Следовательно, он не был сложным.
Я пойду домой или останусь здесь и выпью стаканчик. Я не пойду домой. Следовательно, я останусь и выпью.

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение