Professional Documents
Culture Documents
Sunu
Sunu
(1815-1864)
George Boole İngiltere Lincoln’da
zanaatkar ailede doğdu.
BOOLE CEBRI
Farz edelim ki, haklarında onların doğru veya
yalnış olduğunu bilmediğimiz ama söylemenin
mümkün olduğu önermeler var. Bu önermeleri
göstermek için A,B,C ve s. Gibi latin harfleri
kullanacağız. Eğer iki basit cümlemiz varsa «ve» ,
«veya» bağlaçlarından yeni birleşik cümle
düzeltebiliriz. Matematiksel mantıkta da bunu
yapıyoruz
Boole cebrinde değişkenler 0 ve 1 oımak üzere iki
0×1=0 0+1=1
1×1=1 0+0=1
DOĞRULUK
TA B L O S U
Değişme: A+B=B+A ; A×B=B×A
Birleşme: A+B+C=(A+B)+C=A+(B+C)
Özdeşlik: A×A=A ; A+A=A
«VE» kuralı: A×1=A ; A×0=0
«VEYA» : A+1=1 ; A+0=A
Etkisiz eleman: A×1=A ; A+0=A
Tamamlayıcı: A×A’=0 ; A+A’=1
Yutma: A×(A+B)=A ; A+A×B=A
Dağılma: A×(B+C)=A×B+A×C ;
A+B×C=(A+B)(A+C)
Çift tersleme: (A’)’=A ; [(A+B)’]’=A+B
Попов Ю.П. Элементы
истории и теории логики.
Владивосток 2000 г.
KAYNAKLAR https://teknoloji.org/george-b
oole-simgesel-mantigin-kuruc
usu/