Većina teorema prekidačke algebre
mogu se lako dokazati korišćenjem postupka koji se zove
savršena indukcija.
Ovaj postupak se oslanja na činjenicu da logička
promenljiva može imati samo jednu od dvije moguće
vrijednosti, 0 ili 1, pa ja zbog toga i broj mogućih
kombinacija vrijednosti svih promjenljivih u jednom
logičkom iskazu konačan.
Dakle, da bi teorema bila dokazana, dovoljno je u iskazu
teoreme zamjeniti sve moguće kombinacije
vrijednosti promjenljivih i za svaki takav slučaj
ispitati da li izrazi sa lijeve i desne strane
znaka jednakosti imaju istu vrijednost.
|