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

Задание 1

а) А & В → C̅

б) A ↔ B

в) A ↔ B & C̅ & D

Задание 2

Пусть А = «Лена сделает задание», В = «Лена получит хорошую отметку», С = «родители похвалят Лену», D = «Лена будет хорошо себя чувствовать».

Если Лена сделает задание, то Лена получит хорошую отметку, родители её похвалят, Лена будет хорошо себя чувствовать.

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

Лена получит хорошую отметку тогда и только тогда, когда выполнит задание или выучит материал, или придет с тетрадью.

Если Лена выучит задание, то получит хорошую отметку, её родители не будут ругаться, Лена будет чувствовать себя хорошо.

Если Лена не выучит задание, то родители её не похвалят, она не будет чувствовать себя хорошо".