Digitaaltehnika
Boole'i algebra
elementideks on binaarloogika signaalid (argumendid) kahe tõeväärtustega: väär ehk
0 (false) ja tõene ehk 1 (true). Võib lisada et polüvalentse (mitmevalentse) loogika
puhul on tegemist enam kui kahe erineva tõeväärtusega.
Hägusloogika (fuzzy logic) puhul antakse tõeväärtustele tõenäosuslikud hinnangud.
Nüüdisaegne digitaal- ja arvutustehnika põhineb binaarloogikal. Käesolevas
raamatus käsitletakse samuti ainult binaarloogikat.
Loogikasignaalidega saab sooritada kõiki loogikatehteid ning moodustada suvalisi
loogikafunktsioone. Loogikatehete kohta kehtivad järgmised binaarloogika aksioomid:
1. Argumentide järjekorda võib tehtes muuta
2. Sulgusid võib avada ehk funktsiooni võib teisendada loogiliste osakorrutiste
summaks
3. Funktsiooni võib teisendada loogiliste osasummade korrutiseks
4. Argumendi ja tema eituse loogiline korrutis võrdub nulliga ega muuda loogilise
annaabi.ee 
