p: "Bugün hava güneşli" ve q: "Bugün hava sıcak" önermeleri verildiğinde, "Bugün hava güneşli değil" ifadesinin sembolik gösterimi nedir?