Loogikaalgebra, Põhiseosed, loogikafunktsioonid
Funktsioonide 1-de piirkonna moodustavad need argumentvektorid, mille korral funktsioon
omandab väärtuse 1, 0-de piirkonna puhul omandab 0-i. Tähist vaata lk 162 kõige ülemine osa.
Mis on funktsiooni mitteoluline muutuja?
N-muutuja loogikafunktsiooni mingi muutuja on funktsiooni mitteoluline muutuja, kui sellele
omistatav loogikaväärtus ei mõjuta kuidagi funktsiooni väärtust.
Millisele kujule on mitteoluliste muutujatega loogikaavaldis alati teisendatav?
On alaati teisendatav kujule, kus mitteolulised muutujad puuduvad.
Milline loogikafunktsioon on osaliselt määratud?
Osaliselt määratud funktsioon on funktsioon, mille määramispiirkonnaks on ainult osa lähtehulga
elementidest.
Lähtehulgaks olev Boole Ruumis leidub selliseid argumentvektoreid, mille jaoks pole rangelt
määratud, kumba loogikaväärtue 0 või 1 funktsioon nende korral omandama peab.
Mis on funktsiooni määramatuspiirkond? Kuidas seda tähistatakse?