logiskt villkor som är en negation av XOR (exklusiv disjunktion). Det innebär att XNOR säger att av två påståenden är antingen båda två sanna eller också är båda två falska. XNOR är alltså i praktiken samma sak som materiell ekvivalens. – Sanningsvärdetabellen för XNOR ser ut så här:
– Om påståendet A är sant är också påståendet B sant, och om A är falskt är också B falskt (A=B) :
| A | B | A = B |
| sant | sant | sant |
| sant | falskt | falskt |
| falskt | sant | falskt |
| falskt | falskt | sant |
[logik] [programmering] [ändrad 8 juni 2017]