Hoppa till innehållet

Sanningsfunktion

Från Wikipedia
 Logisk operator (Logisk grind
Se även

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.

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.