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

AΛB→(¬С)

A→B

A↔ВΛ(¬С)ΛD

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

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