Logische nor

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken
Venn diagram van

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 of , 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 is de negatie van de disjunctie:

        
Venn1000.svg          Venn0111.svg


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

        
Venn01.svg          Venn10.svg
   
        
Venn1011.svg          Venn0100.svg Venn0100.svg
 
        
Venn0001.svg          Venn1010.svg Venn1100.svg
   
        
Venn0111.svg          Venn1000.svg Venn1000.svg


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

Zie ook[bewerken]