Elektriajami juhtimine
loogikalülituste projekteerimiseks.
Matemaatiline loogika tekkis formaalloogika edasiarendusena. Tänapäeva mate-
maatilise loogika aluseks on inglise matemaatiku George Boole´i tööd. Tema meetod
on tuntud kui loogikaalgebra ehk Boole´i algebra. Tänapäeval käsitletakse Boole´i
algebrat kui üldist matemaatilist meetodit, mille üheks esituseks on formaalloogikas ja
selle rakendustes kasutatav loogikaalgebra, teiseks aga releekontaktahelate ja
kontaktivabade lülituste kirjeldamisel ja projekteerimisel kasutatav relee- ehk lülitus-
algebra. Et mõlema esituse vahel valitseb tihe analoogiaseos, siis tõlgendatakse
piltlikkuse huvides tihti releealgebra seoseid formaalloogikast võetud mõistete ja
terminite najal. Seetõttu ei tehta ka Boole´i algebra ja loogikaalgebra vahel sageli
selget vahet.
Loogikaalgebra matemaatiline aparaat on sisuliselt eriliiki algebra teheteks
annaabi.ee 
