abc Računarski sistemi - Prekidačka algebra – Boole-ova algebra – Algebra logike
1. Osnovni stavovi prekidačke algebre

1.2 Zakoni i teoreme

Postoje sličnosti, ali i razlike u odnosu na zakone iz klasične algebre.

Primijetimo da, za razliku od klasične algebre, postoji ne samo zakon distribucije množenja prema sabiranju već i zakon distribucije sabiranja prema množenju. Dokaz ovog zakona je sljedeći:

Dokazi za zakone apsorpcije su sljedeći:

De Morganove teoreme o invertovanju glase:

Ove teoreme su veoma značajne pri radu sa složenim Booleovim izrazima. Pomoću njih se vrlo komplikovani izrazi mogu dosta uprostiti što je veoma važno za praktičnu realizaciju logičkih kola.
Primjeri:
1) 
2)                                                               

Postulati i pravila    <    Index    >    Identiteti