*  (x + y)’ = x’y’
    * (xy)’ = x’ + y’

Fonksiyonların indirgenmesinde oldukça önemli teoremlerdir.

f=(A+B)’(A+C) sadeleştirelim….

(A+B)’=A’B’ –> A’B'(A+C)–>A’B'A+A’B'C–>A’A=0 olacak buradan son hali A’B'C olacaktır.

Şimdi Boolean ve De Morgan Tepremleri ile çözülen örneğimize geçelim.

f=x’y'+xyz+x’y fonksiyonunun lojik devresini tasarlayalim.

Eğer teoremleri uygulamadan tasarlarsak;



Şekilnde karmaşık ve uzun bir devre tasarlarız.

Sadeleştirmeleri yapalım.

f=x’y’ + xyz + x’y

= x’(y’ + y) + xyz [dagilma: x’y’ + x’y = x’(y’ + y) ]

= (x’ · 1) + xyz [boolean ozellik 7: y’ + y = 1 ]

= x’ + xyz [boolean ozellik 2: x’ · 1 = x’ ]

= (x’ + x)(x’ + yz) [dagilma]

= 1 · (x’ + yz) [boolean ozellik 7: x’ + x = 1 ]

= x’ + yz [boolean ozellik 2]

Sadeleştirmelerden sonra fonksiyonumuzun son hali x’yz .

Şimdi devremizi tasarlarsak;



şeklinde olur.Umarım açıklayıcı ve anlaşılması kolay olmuştur.

Teşekürler.