Mis on Diskreetne Matemaatika
Kuigi osaliselt määratud funktsiooni võib "lõpuni" määrata vabalt, ei tehta
seda siiski juhuslikult vaid teatud tunnuste järgi valitakse sobivate täielikult
määratud funktsioonide hulgast eelistatuim. — loogikaavaldis
Suvaline muutujaid sisaldav loogikaavaldis (oma eelpool defineeritud kujul)
Loogikafunktsioonide ESITUSKUJUD on vaadeldav loogikafunktsioonina, kuna tema muutujate väärtustamisel
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