Постоянные читатели

воскресенье, 15 марта 2015 г.

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

Задание 1.
1) AΛB→(¬С)
A→B
AВΛ(¬С)ΛD

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

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

Задание 2.

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

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

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