Если не будет снега и будет морозно, то мы пойдем на каток и оденемся потеплее или возьмем термос с чаем. написать простые высказывания, которые есть в этом утверждении, написать сложную логическую функцию, выражение до простых логических операций (отрицания, конъюнкции и дизъюнкции)
- (А) будет снег;
- (Б) будет морозно;
- (В) мы пойдём на каток;
- (Г) мы оденемся потеплее;
- (Д) мы возьмём термос с чаем;
Выражение:
(¬А ∧ Б) ⇒ (В ∧ (Г ∨ Д))
Упрощенное:
¬(¬А ∧ Б) ∨ (В ∧ (Г ∨ Д))
А ∨ ¬Б ∨ В ∧ (Г ∨ Д)
Упрощенное текстом:
Будет снег, или не будет морозно, или мы пойдём на каток и возьмем с собой термос с чаем или оденемся потеплее.