1. Пусть A, B, C, D обозначают следующие высказывания:
A - «Зима будет суровой»;
B - «Лето будет холодное»;
C - «Выпадет немного снега»;
D - "Будут сильные морозы».
Записать в символьной форме высказывания: «Если лето будет теплом, то зима будет суровой, выпадет много снега и будут сильные морозы».