In der boolean Logik ist logische noch oder gemeinsame Leugnung ein mit der Wahrheit funktioneller Maschinenbediener, der ein Ergebnis erzeugt, das die Ablehnung von logischen ist oder. D. h. ein Satz der Form (p NOCH q) ist genau wahr, wenn weder p noch q wahr sind — d. h. wenn beide von p und q falsch sind. In der Grammatik, noch ist eine Koordinieren-Verbindung.

NOCH Maschinenbediener ist auch bekannt als der Pfeil von Peirce - Charles Sanders Peirce hat das Symbol  dafür eingeführt und hat demonstriert, dass das Kombinieren des Gebrauches des logischen NOCH genügt, um jede logische Operation auf zwei Variablen auszudrücken. So, als mit seinem Doppel-, der NAND Maschinenbediener (a.k.a. der Schlag von Sheffer - symbolisiert entweder als | oder als/), NOCH kann allein ohne jeden anderen logischen Maschinenbediener verwendet werden, um ein logisches formelles System (das Bilden einzusetzen NOCH funktionell zu vollenden). Es ist auch bekannt als der Dolch von Quine. (Sein Symbol war +.)

Eine Weise, p NOCH q auszudrücken, ist, wo das Symbol wichtig ist ODER und die Bar die Ablehnung des Ausdrucks darunter bedeutet: hauptsächlich, einfach. Andere Weisen, p NOCH q auszudrücken, sind Xpq, und.

Der Computer hat im Raumfahrzeug verwendet, das zuerst Menschen zum Mond, dem Leitungscomputer von Apollo getragen hat, wurde völlig mit NOCH Tore mit drei Eingängen gebaut.

Definition

NOCH Operation ist eine logische Operation auf zwei logischen Werten, normalerweise den Werten von zwei Vorschlägen, der einen Wert von wahren erzeugt, wenn, und nur wenn beide operands falsch sind. Mit anderen Worten erzeugt es einen Wert von falschen, wenn, und nur wenn mindestens ein operand wahr ist.

Wahrheitstabelle

Die Wahrheitstabelle von A NOCH B (auch schriftlich als Ein  B) ist wie folgt:

Eigenschaften

Logisch NOCH besitzt keine der fünf Qualitäten (Wahrheitsbewahrung, falsche Bewahrung, geradlinig, monotonisch, Selbstdoppel-) erforderlich, von mindestens einem Mitglied von einer Reihe funktionell ganzer Maschinenbediener zu fehlen. So genügt der Satz, der nur enthält, NOCH als ein ganzer Satz.

Einführung, Beseitigung und Gleichwertigkeiten

NOCH hat die interessante Eigenschaft, dass alle anderen logischen Maschinenbediener durch den verflochtenen NOCH die Operationen ausgedrückt werden können.

Der logische NAND Maschinenbediener hat auch diese Fähigkeit.

Das logische NOCH ist die Ablehnung der Trennung:

Ausgedrückt in Bezug auf NOCH sind die üblichen Maschinenbediener der Satzlogik:

|

|

|

Siehe auch

• Bitwise NOCH
• Algebra von Boolean
• Gebiet von Boolean
• Boolean fungieren
• Funktionelle Vollständigkeit
• NOCH Tor
• Satzlogik
• Alleiniger genügend Maschinenbediener