Elektriajami juhtimine
Kontaktivaba loogikaelement on suundtoimega kontaktideta seadis, mis mingi
kahendsignaalide, st kahe võimaliku väärtusega signaalide kombinatsiooni puhul
tema sisendeil annab teatava kahendsignaali väljundis.
Kontaktivabade lülituste projekteerimise aluseks on matemaatilise loogika haru
releelülituste teooria, mis töötati välja aastatel 1920-1930 kontaktreleelülituste
projekteerimiseks. Kuna kontaktivabad loogikaelemendid on oma talitlusviisilt
lähedased elektromehaanilistele kontaktreleedele (nendelgi on ainult kaks võimalikku
olekut), saab neid projekteerimismeetodeid hõlbsasti kohandada ka kontaktivabade
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
annaabi.ee 
