У формулу
((P⇒R)∧(Q⇒R))⇔((P∨Q)⇒R)
Синоптик дал такой прогноз на завтра: Если будет мороз, то снег выпадет только при пасмурной погоде. Если не будет мороза, но пойдет снег, то погода будет пасмурной. Не будет ни снега, ни дождя, если небо будет ясным. Неверно, что если не будет мороза, то для выпадения снега или дождя достаточно наличия пасмурного неба. Какую погоду предсказал синоптик?