Digitaalloogika
Digitaalloogika on andmetöötluse süsteem, mis põhineb Boole'i algebra loogikatehetel. Nende tehete ehk operatsioonide abil on võimalik realiseerida mitmesuguseid loogilisi funktsionaalseid seoseid. Niisugustes seostes on nii sõltumatutel muutujatel ‒ argumentidel ‒ kui ka neist sõltuvatel muutujatel ‒ funktsioonidel ‒ ainult kaks väärtust, kas 1 või 0 (tõene või väär). Loogikafunktsioone saab esitada tõeväärtustabeli abil. Tõeväärtustabelis on kõikidele argumentide väärtuste kombinatsioonidele seatud vastavusse funktsiooni väärtus. Alltoodud tabelites on x1 ja x2 kõikvõimalike argumentide kombinatsioonid ning y-i väärtused on loogikafunktsiooni väärtused . Kui loogikafunktsioonil on n argumenti, siis on tal 2n võimalikku argumentide kombinatsiooni. Allpool on esitatud kahe argumendi x1 ja x2 loogikafunktsioonid tõeväärtustabeleina.