понедельник, 16 февраля 2015 г.

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

№1

AΛB→(¬С)




A→B



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


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





Комментариев нет:

Отправить комментарий