En sanningsfunktion är en del av satslogiken där ett logiskt uttryck beskrivs som en funktion f(p, q) av två argument p och q, där både argumenten och resultatet är sanningsvärden.[1][2] Sanningsfunktioner byggs upp av funktionens argument och logiska operatorer eller matematiska operationer.

 Logisk operator (Logisk grind
Se även

Exempel

redigera

I en variant av boolesk algebra, där minustecknet införts och där vanliga räkneregler gäller, det vill säga utan specialregler för de matematiska operationerna + och ·, beskrivs de två disjunktionerna OR och XOR med sanningsfunktionerna

p OR q = "p eller q" = p + q - p ·q
p XOR q = "antingen p eller q" = p + q - 2·p·q

där p och q bara kan anta värdena 1 eller 0 motsvarande sann och falsk.

Referenser

redigera