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.