Постройте отрицание к следующим высказываниям на русском языке.

а) Наступила весна и закончилась зима.

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