polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
funkcija koja pridružuje istinitost složenoj izjavi za svaki izbor istinitosti jednostavnih izjava koje u njoj sudjeluju
funkcija koja pridružuje istinitost složenoj izjavi za svaki izbor istinitosti jednostavnih izjava koje u njoj sudjeluju
Rod: nema
Vrsta riječi: višerječni naziv
Formula: $f:\{0,1\}^n\rightarrow \{0,1\}$
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\}$.