definition |
funkcija koja pridružuje istinitost složenoj izjavi za svaki izbor istinitosti jednostavnih izjava koje u njoj sudjeluju |
synonyms |
admitted term: istinitosna funkcija, bulovska funkcija not recommended term: booleovska funkcija |
equivalents |
english: truth function, Boolean function |
formula |
|
note |
U pravilu se misli na funkcije koje primaju dvije vrijednosti: 0 (laž) i 1 (istina), iako se sve može razmatrati i u složenijim okolnostima. Ako u složenoj izjavi sudjeluje $n$ jednostavnih izjava, onda je pripadajuća funkcija istinitosti funkcija definirana na skupu $\{0,1\}^n$ s vrijednostima u $\{0,1\}$. |
classification |
polje: matematika |
source |
