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

№1

AΛB→(¬С)

A→B

A↔ВΛ(¬С)ΛD

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

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

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

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

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

Так как таблицы истинности не совпадают, данные выражения не тождественны!