NOR

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

NOR, är en logisk operator, som fås genom negation av logisk disjunktion. NOR är en förkortning av NOT OR och uttrycks språkligt som Varken eller. Med satsvariablerna p och q och med hjälp av logiska konnektiv kan p NOR q skrivas

${\displaystyle \lnot (p\lor q)}$

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. Detta utnyttjades tidigare vid så kallad NOR-logik vid konstruktion av digitala kretsar.

Tillsammans med NAND-operatorn, även kallad Sheffers streck och betecknad med symbolen, |, är NOR-operatorn symboliserad av, ↓, de enda dyadiska operatorerna, som var och en kan uttrycka alla de andra satslogiska konnektiven.

NOR uttryckt med symboler och motsvarande venndiagram:

    ${\displaystyle P\downarrow Q}$     ${\displaystyle \Leftrightarrow }$     ${\displaystyle \neg (P\lor Q)}$

         ${\displaystyle \Leftrightarrow }$     ${\displaystyle \neg }$