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

Задание 1.

1) AΛB→(¬С)

A→B

A↔ВΛ(¬С)ΛD

2)

1) Абитуриент будет зачислен в вуз ---> абитуриент вовремя подал документы, и абитуриент получил неудовлетворительную отметку, и набранная сумма баллов не меньше определенного значения.

2) Абитуриент будет зачислен в вуз тогда и только тогда, когда он подал вовремя документы, и не получил на экзамене неудовлетворительных отметок, и сумма набранных им баллов не меньше определенного значения.

3) Абитуриент будет зачислен в вуз тогда и только тогда, когда он подал вовремя документы, или не получил на экзамене неудовлетворительных отметок, или сумма набранных им баллов не меньше определенного значения.

4) Абитуриент будет зачислен в вуз ---> абитуриент вовремя подал документы, и абитуриент не получил неудовлетворительную отметку, и набранная сумма баллов не меньше определенного значения.

5) Абитуриент будет зачислен в вуз тогда и только тогда, когда абитуриент вовремя подал документы, и абитуриент получил неудовлетворительную отметку, и набранная сумма баллов не меньше определенного значения.

Задание 2.

1)

2) Данные выражения не являются тождественными, т. к. их таблицы истинности не совпадают.