definicija |
funkcija koja pridružuje istinitost složenoj izjavi za svaki izbor istinitosti jednostavnih izjava koje u njoj sudjeluju |
istoznačnice |
dopušteni naziv: istinitosna funkcija, bulovska funkcija nepreporučeni naziv: booleovska funkcija |
istovrijednice |
engleski: truth function, Boolean function |
formula |
$$f:\{0,1\}^n\rightarrow \{0,1\}$$ |
napomena |
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\}$. |
razredba |
polje: matematika |
vrela |
