Sanningsfunktion
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
redigeraI 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- ^ ”sanningsfunktion - Uppslagsverk - NE.se”. www.ne.se. https://www.ne.se/uppslagsverk/encyklopedi/l%C3%A5ng/sanningsfunktion. Läst 1 augusti 2024.
- ^ ”satslogik - Uppslagsverk - NE.se”. www.ne.se. https://www.ne.se/uppslagsverk/encyklopedi/l%C3%A5ng/satslogik. Läst 1 augusti 2024.