Контрольная работа по дисциплине Логика

Москва, МЭСИ, 2009, специальность - маркетинг. 1 курс.Вопросы:
Логические операции над бинарными отношениями.
Принципы логической семантики и ошибки, связанные с их нарушением.
Практическое задание:
Формализуйте данное умозаключение при помощи языка КЛВ и определите, к какому виду оно относится: Если бы у преступника был сообщник, все было бы спланировано заранее. И если бы его ничто не встревожило, убийство произошло бы точно в срок. Но либо это преступление произошло раньше срока, либо оно вообще не было спланировано. Вывод: либо преступник действовал в одиночку, либо был чем-то очень встревожен.