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

Задание №1.
AΛB→(¬С)
Задание №2.
А⇔В
Задание №3.
A↔ВΛ(¬С)ΛD
Задание №4.

1. Если Миша выучит урок, то Миша получит хорошую оценку, родители его похвалят, Миша будет хорошо себя чувствовать.
2. Миша получит хорошую оценку тогда и только тогда, когда выполнит задание и не забудет выучить материал, и придет с тетрадью.
3. Миша получит хорошую оценку тогда и только тогда, когда выполнит задание или выучит материал, или придет с тетрадью.
4. Если Миша выучит урок, то получит хорошую оценку, его не заругают родители, Миша будет чувствовать себя хорошо.
5. Миша получит хорошую оценку тогда и только тогда, когда выучит материал, сделает домашнее задание, выучит дополнительный материал.