Mis on Diskreetne Matemaatika
omandab ka kogu loogikaavaldis väärtuse 0 või 1 .
Funktsiooni mistahes esituskujust peab selguma, kuidas funktsioon
väärtustub oma muutujate kõikvõimalike väärtuskombinatsioonide korral. Funktsiooni esitamisel avaldisena eelistatakse loogikafunktsiooni
normaalkujusid.
— tõeväärtustabel
Tõeväärtustabel on loogikafunktsiooni kõige "vahetum" esitus. Ta loetleb Loogikafunktsioonide NORMAALKUJUD
esitatava funktsiooni väärtused tabelisse korrastatuna kõikide
argumendiväärtuste kombinatsioonide (ehk argumentvektorite) korral, Algterm on avaldise koosseisu kuuluv loogikamuutuja xi või selle
alustades argumentvektorist 000. . .0 ja lõpetades argumentvektoriga inversioon x̄i või konstant 0 1 .
111. . .1