NOR
logisk funktion / From Wikipedia, the free encyclopedia
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
Logisk operator (Logisk grind) |
---|
|
Se även |
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: