Sanningsfunktion

Logisk operator, Logisk grind
negation, NOT konjunktion, AND, NAND disjunktion, OR, XOR, NOR implikation ekvivalens, XNOR konnektiv sanningsfunktion sanningsvärdetabell de Morgans lagar

En sanningsfunktion är en funktion f(p,q) av två argument p och q som antar sanningsvärden och där resultatet är ett sanningsvärde. Se vidare logik och satslogik.