Если не будет снега и будет морозно, то мы пойдем на каток и оденемся потеплее или возьмем термос с чаем. написать простые высказывания, которые есть в этом утверждении, написать сложную логическую функцию, упростить выражение до простых логических операций (отрицания, конъюнкции и дизъюнкции)

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