konnektiv

XNOR är ett logiskt konnektiv, som fås då den dyadiska operatorn XOR negeras, vilket är liktydigt med materiell ekvivalens.

Med satsvariablerna p och q och med hjälp av logiska konnektiv kan p NOR q skrivas

Henry M. Sheffer visade 1912 att man med hjälp av operatorn NOR, ofta betecknad med, ↓, och kallad Peirce' s pil, kunde uttrycka alla satslogiska konnektiv.