Boole cebiri

boole cebiri değişkenlerin değerinin doğru ve yanlış olabildiği bir cebir altkoludur. doğru ve yanlış değerleri genelde sırasıyla 1 ve 0 olarak ifade edilir. değişken değerlerinin sayı, işlemlerin ise toplama ve çarpma olduğu temel cebrin aksine boole cebrinde ∧ işareti ile ifade edilen "ve", ∨ işareti ile ifade edilen "veya",  ¬ ile ifade edilen "değil" işlemleri bulunur.

boole cebri ismini george boole'den alır ve bu ismin ilk kez 1913 yılında sheffer tarafından önerildiği iddia edilmektedir.

sayısal devrelerin analiz ve tasarımı boole cebrini temel alır. bu sistemde yer alan “1” ve “0”, sırasıyla açık (i̇ngilizcesi: on) ve kapalı (i̇ngilizcesi: off) devrelerle eş anlamlıdır. sayısal bilgisayar devreleri uygulamasında, ikili değişkenler üzerinde tanımlanan sayısal operasyonları gösterir.

postulatlar 
boolean cebri 10 temel postulata dayanır. 0 ve 1 sayıları nedeniyle her postulat çift olarak ifade edilir. postulatların 0 ve 1 karakterlerini kapsaması nedeniyle bunların açıklaması genellikle kapalı ve açık elektrik devreleri ile yapılır.
 postulat 1: 0.0=0 
 postulat 2: 0.1=0 
 postulat 3: 1.0=0 
 postulat 4: 1.1=1
 postulat 5: 0'=1 
 postulat 6: 1+1=1
 postulat 7: 0+1=1
 postulat 8: 1+0=1
 postulat 9: 0+0=0
 postulat 10: 1'=0

teoremler 
boolean cebri, 10 teoremden oluşur.

değişme kuralı 
 a+b=b+a
 a.b=b.a

birleşme kuralı 
 a+b+c=(a+b)+c=a+(b+c)
 a.b.c=(a.b).c=a.(b.c)

aynı kuvvet kuralı(özdeşlik kanunu) 
 a.a=a    
 a+a=a
0+0=0
0.0=0
1.1=1

ve (and) kanunu 
a.1=a

a.0=0

veya (or) kanunu
a+1=1

a+0=a

etkisiz eleman kuralı 
 a.1=a    
 a+0=a

tamamlayıcı kural 
 a.a'=0
 a'+a=1

yutma kuralı 
 a.(a+b)=a  
 a + ab =a

dağılma kuralı 
 a(b+c)=ab+ac  
 a+b.c=(a+b)(a+c)

çift tersleme kuralı ( tersin tersi ) 
 (a')'=a    
 [(a+b)']'=a+b

de morgan kuralı 
 (a.b)'=a'+b'
 (a+b)'=a'.b'

semboller 
sayısal olarak bir değişken veya fonksiyon iki değer alabilir. bu değerler 1 veya 0 olacaktır. değişkenlerin veya fonksiyonların aldığı bu değerler sayısal devrelerde eğer “1” ise yüksek gerilim seviyesi, “0” ise alçak gerilim seviyesini gösterecektir.
 
değil veya tümleyen (komplement), boolean matematiğinde değişkenin üzerine çizilen bir çizgi ile gösterilir. örneğin a’ ifadesi “ a’ nın değili veya a’nın komplementi” şeklinde okunur. eğer a=1 ise a’=0, a=0 ise a’ =1 olur. tümleyen(komplement) veya değil için a’ şeklinde yazım kullanılabilir.
 
a ve b girişlere uygulanan iki değişkeni gösterirse ve fonksiyonu boolean ifadesi 
olarak ‘a.b’ şeklinde yazılırken, veya fonksiyonu için ‘a+b’ eklinde yazılacaktır.

elektronik mantık kapıları

diyotla yapılan and ve or kapıları

şekil 1.13a 'da diyotlarla and lojiğinin elde edilmesi görülmektedir. şekil 1.13d 'de görüldüğü gibi a ve b girişlerinin biri 0 volt (şase) yapılacak olursa, devre akımı doğru polarmalanmış diyot üzerinden ok yönünde devresini tamamlayacağından çıkış gerilimi c, 0 volt olur.

a ve b girişleri +5v yapıldığında diyotlar ters polarmalandığından yalıtkan olacak ve 5v 'luk gerilim şekil 1.13e 'de görüldüğü gibi c çıkışında görülecektir. bu durum bize and işlemini verir, yani a ve b girişi 1 olduğunda çıkış 1 olur. girişlerden biri 0 olduğunda çıkış 0 olur. bu işlemin doğruluk tabloları gerilim olarak şekil 1.13d 'de, lojik olarak şekil 1.13e 'de görülmektedir.

 
 a	b	c
 0v	0v	0v
 0v	+5v	0v
 +5v	0v	0v
 +5v	+5v	+5v
-d-
 
 a	b	c
 0	0	0
 0	1	0
 1	0	0
 1	1	1
-e-
 0v	=   lojik 0
 +5v	= lojik 1
 
şekil 1.14a 'da diyotlarla or lojiğinin elde edilmesi görülmektedir. şekil 1.14b 'de görüldüğü gibi a ve b girişlerinden biri +5v yapılacak olursa girişe verilen uca bağlı diyot iletken olacağından +5v c çıkışında görülür. a ve b girişleri aynı anda 0v yapılırsa her iki diyotta yalıtkan olacağından c çıkışıda 0v olacaktır. şekil1.4c 'de gerilim olarak, şekil1.14d 'de ise lojik olarak or işleminin doğruluk tabloları görülmektedir.

 
 a	b	c
 0v	0v	0v
 0v	+5v	+5v
 +5v	0v	+5v
 +5v	+5v	+5v
-c-
 
 a	b	c
 0	0	0
 0	1	1
 1	0	1
 1	1	1
-d-
 0v = lojik 0
 +2,4 - +5v = lojik 1

a) ve (and) kapısı
ve kapısı iki veya daha fazla giriş ve bir adette çıkış ucuna sahiptir. bu giriş uçlarına uygulanan 1 veya 0 kodlarına göre çıkışta değişiklikler görülür. ve kapısının tüm girişleri 1 olduğunda çıkış 1, herhangi bir ucu 0 olduğunda ise çıkış 0'dır. kapı hesaplarındaki formülü q (çıkış (c)) = a . b dir. aşağıda ve kapısının sembolü ve iç yapısı görülmektedir.

b) ve değil (nand) kapısı
değil mantığı tüm kapılarda vardır. bu kapılar normal kapıların çıkış uçlarına değil kapısı eklenerek elde edilirler. yani ve kapısının çıkış ucu 1 olduğu durumlarda ve değil kapısının çıkışı 0, 0 olduğu durumlarda ise 1'dir. kapı hesaplarındaki formülü q (çıkış (c)) = (a . b)' dir. üst tırnak işareti, değili (tersi) manasına gelmektedir. formülün sonucu 1 ise 0, 0 ise de 1 'dir. aşağıda ve değil kapısının sembolü ve iç yapısı görülmektedir.

c) veya (or) kapısı
veya kapısı da iki veya daha fazla giriş, bir adette çıkış ucuna sahiptir. giriş uçlarından herhangi birisinin 1 olması durumunda çıkış 1, diğer durumlarda da çıkış 0'dır. yani ve kapısının tersi mantığında çalışır. kapı hesaplarındaki formülü q (çıkış (c)) = a + b dir.

d) veya değil (nor) kapısı
veya değil kapısı da yine veya kapısının çıkış ucuna değil eklenerek elde edilmiştir. veya değil kapısının çıkış durumları veya kapısının çıkış durumlarının tam tersidir. kapı hesaplarındaki formülü q (çıkış (c)) = (a + b)' dir.

e) özel veya kapısı
i̇sminin özel veya kapısı olmasına rağmen veya kapısı ile hiçbir alakası yoktur. özel veya kapısının girişleri aynı olduğunda çıkış 0, girişleri farklı olduğunda ise çıkış 1 'dir. yani girişler 1 0 ya da 0 1 iken çıkış 1, girişler 0 0 ya da 1 1 iken de çıkış 0 'dır. hesaplardaki formülü ise q = a å b dir.

f) özel veya değil kapısı
özel veya değil kapısı da özel veya kapısının çıkışına değil eklenmiş halidir. giriş uçları aynı iken çıkış 1, giriş uçları farklı iken de çıkış 0 'dır. hesaplamalardaki formülü q = (a å b)' dir.

g) değil kapısı
değil kapısı bir giriş ve bir de çıkış ucuna sahiptir. girişine gelen binary kodu tersleyerek çıkışına iletir. yani giriş 1 iken çıkış 0, giriş 0 iken çıkış 1 'dir. hesaplamalardaki formülü q = a' şeklindedir. aşağıda değil kapısının sembolü ve iç yapısı görülmektedir.

boolean matematiği tamamen 1 ve 0 üzerine kurulu bir matematiktir. bu 1 ve 0, düşük - yüksek, var - yok, olumlu - olumsuz, gibi terimlere benzetilebilir. boolean matematiğinde, (') işareti tersi, (.) işareti ve, (+) işareti veya, (å) işareti de özel veya manasına gelmektedir.

 
cebirsel yapılar