Logische nor

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

Logische nor (not or, in het Nederlands nof of niet of) is een booleaanse operator die als resultaat het inverse geeft van de logische or. Dit betekent dat p nor q enkel WAAR is, wanneer noch p noch q waar zijn, anders is het resultaat ONWAAR.

De NOR operator is ook bekend als Webb-operatie of Peirce-bewerking, genoemd naar Charles Sanders Peirce, die aantoonde dat elke logische operatie uitgedrukt kan worden in termen van de logische NOR. De logische NOR kan op zichzelf gebruikt worden, zonder enig andere logische operator, om een logisch formeel systeem te vormen.

Een gebruikelijke notatie voor p NOR q is p \downarrow q of \overline{p + q}, waarin het symbool + OF betekent , en de lijn boven de expressie betekent NIET, de logische negatie van de expressie.

De computer die gebruikt werd in het ruimteschip dat voor het eerst mensen naar de maan bracht, de Apollo Guidance Computer, was volledig gebouwd uit NOR-poorten met drie ingangen.

Etymologie[bewerken]

Het woord nor lijkt een kunstmatige samenstelling uit n (voor de ontkenning) en or. Het is echter, in tegenstelling tot nand, in de Engelse taal een bestaand woord.

Het Nederlandse nof is wél een kunstmatige samenstelling, het juiste Nederlandse woord zou noch moeten zijn.

Definitie[bewerken]

De logische NOR met twee ingangen wordt vaak door een waarheidstabel beschreven:

A B A nor B
F F T
F T F
T F F
T T F

NOR heeft als interessante eigenschap dat alle andere logische operatoren kunnen uitgedrukt worden in functie van de NOR bewerking:

De logische NOR \downarrow is de negatie van de disjunctie:

P \downarrow Q     \Leftrightarrow     \neg (P \or Q)
Venn1000.svg     \Leftrightarrow     \neg Venn0111.svg


Uitgedrukt in termen van NOR \downarrow worden de gebruikelijke operators van propositionele logica beschreven als:

\neg P     \Leftrightarrow     P \downarrow P
\neg Venn01.svg     \Leftrightarrow     Venn10.svg
   
P \rightarrow Q     \Leftrightarrow     \Big( (P \downarrow P) \downarrow Q \Big) \downarrow \Big( (P \downarrow P) \downarrow Q \Big)
Venn1011.svg     \Leftrightarrow     Venn0100.svg \downarrow Venn0100.svg
 
P \and Q     \Leftrightarrow     (P \downarrow P) \downarrow (Q \downarrow Q)
Venn0001.svg     \Leftrightarrow     Venn1010.svg \downarrow Venn1100.svg
   
P \or Q     \Leftrightarrow     (P \downarrow Q) \downarrow (P \downarrow Q)
Venn0111.svg     \Leftrightarrow     Venn1000.svg \downarrow Venn1000.svg


De logische nand operator bezit dezelfde eigenschap om de andere logische operaties uit te drukken.

Zie ook[bewerken]