De Morgan Kuralları: “Ve” ile “Veya”nın Aynadaki Yansıması

Günlük Bir Mantık

Birine “Ne çay ne de kahve istiyorum” derseniz, ne demiş olursunuz? Aslında iki şeyi birden: “Çay istemiyorum VE kahve istemiyorum.” Bu son derece doğal akıl yürütmenin matematikteki adı De Morgan kurallarıdır ve $19.$ yüzyılda mantıkçı Augustus De Morgan tarafından kesin biçimde ifade edilmiştir.

İki Kural

De Morgan kuralları, bir bileşik ifadenin değillemesini (olumsuzunu) nasıl alacağımızı söyler. İki temel kural vardır:

Kural 1: “($A$ VE $B$) değil” = “($A$ değil) VEYA ($B$ değil)”

Örnek: “Hem zengin hem mutlu değilim” demek, “ya zengin değilim ya da mutlu değilim” demektir.

Kural 2: “($A$ VEYA $B$) değil” = “($A$ değil) VE ($B$ değil)”

Örnek: “Ne çay ne kahve” (= çay veya kahve değil) demek, “çay istemiyorum ve kahve istemiyorum” demektir.

Dikkat edin: değilleme “içeri girince”, VE ile VEYA yer değiştirir. İşte kuralların özü budur — sanki bir aynada birbirine dönüşürler.

Kümelerde De Morgan

Aynı kurallar küme teorisinde de geçerlidir (kesişim ve birleşim için):

• Bir kesişimin tümleyeni, tümleyenlerin birleşimine eşittir.
• Bir birleşimin tümleyeni, tümleyenlerin kesişimine eşittir.

Yani “VE” → kesişim, “VEYA” → birleşim olarak düşünülürse, mantıktaki kurallar kümelere birebir taşınır. Bu, mantık ile küme teorisi arasındaki derin bağı gösterir.

Neden Önemli? Bilgisayarlar!

De Morgan kuralları soyut bir mantık oyunu değildir; bilgisayar biliminin günlük aracıdır:

• Programlama: Bir koşulun değilini almak (örneğin bir “eğer” bloğunu sadeleştirmek) çok sık gerekir; De Morgan kuralları bunu doğru yapmayı sağlar.
• Dijital devreler: Mantık kapıları (VE, VEYA, DEĞİL) De Morgan kurallarıyla birbirine dönüştürülebilir. Bu, devre tasarımcılarının daha az veya daha ucuz kapıyla aynı işi yapmasını sağlar.

De Morgan kuralları, günlük konuşmamızda farkında olmadan kullandığımız bir mantığın matematiksel kesinliğe kavuşmuş hâlidir. “Ne o ne bu” dediğinizde, aslında bir matematik kuralını uyguluyorsunuz — ve aynı kural, cebinizdeki cihazın devrelerinde de iş başında.