6.1.1.10 Исчисление высказываний

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