Soru: u: "Araba çalışıyor" ve v: "Benzin var" önermeleri için "Araba çalışmıyor VEYA benzin yok" ifadesini sembolik mantıkta yazınız.
Çözüm: Önce DEĞİL işlemlerini uygulayalım:
"Araba çalışmıyor" = ¬u
"Benzin yok" = ¬v
VEYA bağlacı ile birleştirirsek: ¬u ∨ ¬v
Sonuç: ¬u ∨ ¬v = "Araba çalışmıyor veya benzin yok"
