Osnovni postulati i zakoni prekidačke logike |
||||||
|
||||||
Bulova algebra se oslanja na: postulate, pravila, zakone, teoreme i identitete. Postoji mnogo preciznije i matematički korektnije definicije, ali gornja tabela omogućava da se obavi savim korektna analiza i dokazivanje većine stavova prekidačke algebre. Jednostavnom analizom može se zaključiti da su neke relacije (postulati i pridružena pravila) identične onim u klasičnoj algebri, ali postoje i neke koje su različite (npr. pravilo koje definiše vrijednost relacije sabiranja identičnih ili komplementarnih vrijednosti). Zakoni komutacije i asocijacije su identični onim u klasičnoj matematici, dok se zakon distribucije proširuje van okvira klasične algebre. Sem ovih zakona postoje i drugi zakoni i teoreme koje omogućavaju transformaciju logičkih funkcija. Svi ovi zakoni se mogu dokazati savršenom indukcijom (vidi)
|
||||||
|
copyright M2M |