Bulova algebra i logička kola

 Logička ili Bulova algebra je sistem teorema koji koriste simboličku logiku da bi opisali
skupove elemenata i odnose medu njima. Razvojem digitalnih računara otkriveno je da je
bulova algebra vrlo dobro primenjiva u konstruisanju i analizi rada računara koji takođe
mogu imati samo dva stanja ( uključen – isključen , ima napona – nema napona ).

 U Bulovoj algebri vrednosti promenljivih mogu biti samo tačno i netačno (istina i laž).
Istinitost obeležavamo sa simbolima T ili 1, dok laž obeležavamo simbolima  ⊥ ili 0.

 Bulova algebra je dobila naziv po tvorcu, Džordžu Bulu, engleskom matematičaru iz 19.
veka.

 Bulova algebra je, osim kao deo apstraktne algebre, izuzetno uticajna kao matematički
temelj računarskih nauka. Takođe se koristi u teoriji skupova i statistici.

Teoreme Buleove algebre:

Upotrebom pravila i teorema Buleove algebre možemo znatno smanjiti broj članova,
odnosno minimizirati formulu. Neka od važnijih pravila ekvivalencije su: