Представленные ниже сложные высказывания расчлените на атомарные и запишите символически

1) Обозначим через A - «Мой друг придёт вовремя», через B - «Задержится отправление поезда», через С – «Мы сможем провести отпуск вместе», через D – «Весело проведём время».
(А˅В) ⇒(С˄D)
2) Обозначим через A - «Специально оборудованный вольер для содержания горилл в зоопарках», через B - «Должны быть деревья», через С - «Должна быть солома», через D – «Должны быть ветки», через F – «Должен быть бамбук».
А⇒(В˄(С˅D˅ F))
3) Обозначим через A - «поедем летом на юг», через B - «достанем путёвку в дом отдыха», через С – «поедем в деревню», через D – «ежедневно ходить на речку купаться», через F – «ежедневно ходить в лес за ягодами и грибами».
(¬А˄¬В) ⇒(С˄(D˅F))