0 oy
Mantık kategorisinde (11.5k puan) tarafından
De Morgan Eş değerlik Kuralları hakkında yapılan bilgilendirme aşağıdaki gibidir.

1 cevap

0 oy
(11.5k puan) tarafından
 
En İyi Cevap

Tümel evetleme ve tikel evetleme biçiminde olmayan önermeler için türetilmiş çözümleme kuralları uygulanır. Koşul ve karşılıklı koşul, tümel değilleme, tikel değilleme, koşul değilleme, karşılıklı koşul değilleme önermeleri ilk önce denk bir tümel evetleme ya da tikel evetleme önermesine dönüştürülür. Çözümlenecek önerme artık tümel evetleme ya da tikel evetleme kuralına göre yapılabilir. Aşağıdaki tabloda De Morgan tarafından geliştirilmiş ve kendi adıyla anılan De Morgan Eş Değerlik Kuralları verilmiştir.

De Morgan Eş değerlik Kuralları
SıraÖnermeEş değeri
1~(p ∨ q)(~p ∧~q)
2~(p ∧ q)(~p ∨~q)
3(p → q)(~p ∨ q)
4~(p → q)(p ∧~q)
5(p ↔ q)(p ∧ q) ∨ (~p ∧~q
6~ (p ↔ q)(p ∧~ q) ∨ (~p ∧ q)

İlgili sorular

0 oy
1 cevap
13, Kasım, 2020 Mantık kategorisinde Konu Admini (11.5k puan) tarafından soruldu
0 oy
1 cevap
13, Kasım, 2020 Mantık kategorisinde Konu Admini (11.5k puan) tarafından soruldu
0 oy
1 cevap
13, Kasım, 2020 Mantık kategorisinde Konu Admini (11.5k puan) tarafından soruldu
0 oy
1 cevap
13, Kasım, 2020 Mantık kategorisinde Konu Admini (11.5k puan) tarafından soruldu
0 oy
1 cevap
13, Kasım, 2020 Tarih Bilimi kategorisinde Konu Admini (11.5k puan) tarafından soruldu
...