Логические функции. Формализация сложных высказываний.

№1.  1) AΛB→(¬С)
A→B
A↔ВΛ(¬С)ΛD
2) 1.  "Если урок будет интересным, то никто из учеников (Миша, Вика, Света) не будут смотреть в окно.