Soru: x: "Işık yanıyor" ve y: "Anahtar açık" önermeleri için "Işık yanmıyor VE anahtar açık değil" ifadesini sembolik mantıkta ifade ediniz.
Çözüm: Önce DEĞİL işlemlerini uygulayalım:
"Işık yanmıyor" = ¬x
"Anahtar açık değil" = ¬y
VE bağlacı ile birleştirirsek: ¬x ∧ ¬y
Sonuç: ¬x ∧ ¬y = "Işık yanmıyor ve anahtar açık değil"