Boole Cebiri — Yasalar, Teoremler ve Sadeleştirme

Boole cebiri, doğru/yanlış ifadelerini birleştirmek ve sadeleştirmek için kullanılan sistemdir. $AB + A\overline{B}$ gibi bir mantık ifadesini azaltmaya çalışıyorsanız, temel araçlar tümleyen, dağıtma, soğurma yasaları ve De Morgan teoremleri gibi kurallardır.

Yaygın bir gösterimde $x + y$, VEYA anlamına gelir; $xy$, VE anlamına gelir; $\overline{x}$ ise DEĞİL $x$ anlamındadır. Bazı kitaplarda DEĞİL işlemi $x'$ ile gösterilir, ancak temel kurallar aynıdır.

Boole Cebiri Ne Anlama Gelir?

Normal cebir sayılarla çalışır. Boole cebiri ise yalnızca iki değer alabilen önermelerle veya ikili değişkenlerle çalışır: doğru/yanlış ya da $1/0$.

Bu durum kuralları değiştirir. Boole cebirinde,

$$x + x = x \quad \text{and} \quad xx = x$$

Her iki özdeşlik de aynı şeyi söyler: bir koşulu tekrar etmek yeni bir sonuç üretmez. Bir anahtar zaten açıksa, “açık VEYA açık” demek hiçbir şeyi değiştirmez.

Gerçekte Kullanılan Boole Cebiri Yasaları

Bir Boole ifadesini sadeleştirirken en sık karşınıza çıkan yasalar bunlardır.

Özdeşlik yasaları

$$x + 0 = x, \qquad x \cdot 1 = x$$

Yanlış eklemek hiçbir şeyi değiştirmez ve doğru ile VE yapmak da hiçbir şeyi değiştirmez.

Yok etme yasaları

$$x + 1 = 1, \qquad x \cdot 0 = 0$$

Bir VEYA ifadesi zaten doğru içeriyorsa, tüm sonuç doğrudur. Bir VE ifadesi yanlış içeriyorsa, tüm sonuç yanlıştır.

İdempotent yasalar

$$x + x = x, \qquad x \cdot x = x$$

Aynı değişkeni tekrar etmek ifadeyi değiştirmez.

Tümleyen yasaları

$$x + \overline{x} = 1, \qquad x \cdot \overline{x} = 0$$

Bir değişken ile onun tersi, VEYA işleminde tüm durumları kapsar; ancak VE işleminde asla çakışmaz.

Değişme ve birleşme yasaları

$$x + y = y + x, \qquad xy = yx$$ $$(x + y) + z = x + (y + z), \qquad (xy)z = x(yz)$$

Bunlar, sonucu değiştirmeden terimleri yeniden sıralamanıza veya yeniden gruplamanıza izin verir.

Dağıtma yasaları

$$x(y + z) = xy + xz$$ $$x + yz = (x + y)(x + z)$$

İkinci biçim ilk bakışta daha az tanıdık gelebilir, ancak standart bir Boole özdeşliğidir ve çarpanlara ayırmada karşınıza çıkar.

Soğurma yasaları

$$x + xy = x, \qquad x(x + y) = x$$

Bunlar özellikle bir ifade gerçekte olduğundan daha uzun görünüyorsa çok kullanışlıdır.

De Morgan teoremleri

$$\overline{x + y} = \overline{x}\,\overline{y}, \qquad \overline{xy} = \overline{x} + \overline{y}$$

Bu kurallar, değillemenin VEYA ve VE üzerinden nasıl geçtiğini gösterir. DEĞİL parantezin içinden geçerken, VEYA ile VE yer değiştirir.

Çözümlü Örnek: $AB + A\overline{B}$ İfadesini Sadeleştirin

Şununla başlayın:

$$F = AB + A\overline{B}$$

Ortak olan $A$ çarpanını dışarı alın:

$$F = A(B + \overline{B})$$

Şimdi tümleyen yasasını kullanın:

$$F = A \cdot 1$$

Ardından özdeşlik yasasını kullanın:

$$F = A$$

Dolayısıyla $AB + A\overline{B} = A$. Sezgisel olarak, eğer $A = 1$ ise ya $B = 1$ olur ya da $\overline{B} = 1$ olur; bu yüzden terimlerden biri mutlaka doğrudur. Eğer $A = 0$ ise her iki terim de yanlıştır. Tüm ifade yalnızca $A$'ya bağlıdır.

Boole Cebirinde Yaygın Hatalar

Yaygın hatalardan biri, normal cebirdeki alışkanlıkları Boole cebirine taşımaktır. Örneğin, $x + x = 2x$ bir Boole kuralı değildir. Burada doğru sonuç $x$ olur.

Bir başka hata da gösterimi kontrol etmeden bir yasa uygulamaktır. Birçok kaynakta $+$ aritmetik toplama değil, VEYA anlamına gelir; değişkenleri yan yana yazmak ise VE anlamındadır.

Öğrenciler ayrıca De Morgan teoremlerini yanlış kullanıp her değişkeni değillerken VEYA ile VE'yi değiştirmeyi unutur. Her iki kısım da önemlidir.

Boole Cebiri Nerelerde Kullanılır?

Boole cebiri, değişkenlerin açık/kapalı veya doğru/yanlış durumlarını temsil ettiği sayısal mantığın merkezindedir. Devre tasarımlarını sadeleştirmek, yazılımda daha temiz mantıksal koşullar yazmak ve arama filtreleri ya da veritabanı sorguları üzerine akıl yürütmek için kullanılır.

Değişkenler ikili değilse veya işlemler normal aritmetik işlemlerse, Boole yasaları doğrudan uygulanmaz. Sistemi çalıştıran temel koşul, yalnızca iki değerli yapı olmasıdır.

Benzer Bir Sadeleştirme Deneyin

$(A + B)(A + \overline{B})$ ifadesini sadeleştirmeyi deneyin. Yukarıdaki yasaları dikkatle kullanırsanız, ifade ilk bakışta göründüğünden daha fazla sadeleşir. Bir adım daha ileri gitmek isterseniz, bir doğruluk tablosu oluşturup sadeleştirilmiş biçimin her satırda eşleştiğini kontrol edin.