Digitaaltehnika
loogikaalgebra), siis kehtivad neis ka erinevad tehted ja aksioomid. 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