Sanningsfunktion – Wikipedia

Logisk operator (Logisk grind)
	Negation (NOT); Konjunktion (AND, NAND); Disjunktion (OR, XOR, NOR); Implikation; Ekvivalens (XNOR);
Se även
	Logisk operator (konnektiv); Sanningsfunktion; Sanningsvärdetabell; De Morgans lagar;
	Denna tabell: visa • redigera

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.

Exempel

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

^ ”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.

[1] ”sanningsfunktion - Uppslagsverk - NE.se”. www.ne.se. https://www.ne.se/uppslagsverk/encyklopedi/l%C3%A5ng/sanningsfunktion. Läst 1 augusti 2024.

[2] ”satslogik - Uppslagsverk - NE.se”. www.ne.se. https://www.ne.se/uppslagsverk/encyklopedi/l%C3%A5ng/satslogik. Läst 1 augusti 2024.

[1]

[2]