Warum gibt es so viele verschiedene und weithin akzeptierte Notationssysteme für die Boolesche Logik?

Ich kann den folgenden CNF auf verschiedene Arten schreiben:

In mathematischer Lehrbuchnotation: ( A ∧ B ∧ C ) ∨ ( ¬ A ∧ B ∧ ¬ C )

In C-ähnlicher Programmiernotation:(A && B && C) || (!A && B && !C)

In technischer Logiknotation: ( A B C ) + ( A ¯ B C ¯ )

Also, ich denke, meine Frage steht im Titel: Warum haben wir so viele verschiedene Systeme der booleschen Logiknotation, wenn die boolesche Logik als Feld eine ziemlich neue Erfindung ist?

Dann gibt es das System, das Punkte anstelle von Klammern verwendet. siehe math.stackexchange.com/q/311871/442
Warum nicht? Die boolesche Logik wird in vielen verschiedenen Bereichen für viele verschiedene Zwecke verwendet, und jeder verwendet die Notation, die seinen Anforderungen am besten entspricht. Sie haben auch unterschiedliche historische Wurzeln, die algebraische Notation geht auf Boole zurück, die mit Konjunktionen und Disjunktionen auf die mathematische Logik, und Programmiersprachen führen im Allgemeinen viele Notationsvariationen ein.

Antworten (1)

Der Softwareteil ist einfach: Er verwendet Standard-ASCII-Zeichen, sodass der Quellcode universell verwendet werden kann.

„Engineering Logic“ hat seine eigenen Variationen, aber beachten Sie, dass „Addition“ ähnlich wie „OR“ und „Multiplikation“ ähnlich wie „AND“ ist, wenn es um Zahlen mit der Basis 2 geht – und dass die boolesche Logik grundsätzlich binär ist.

Was Tilde vs. Ausrufezeichen vs. Overbar betrifft, vermute ich, dass verschiedene Gruppen oder Gebietsschemata unabhängig voneinander gestartet wurden.

Die interne Logik der technischen Notation ist klar genug, aber meine Frage ist wirklich, warum existiert die technische Notation überhaupt , wenn die ∧ / ∨-Notation vermutlich bereits existierte. Entsprach diese Notation irgendwie nicht den Anforderungen der Engineering-Gruppe? Ich schätze jedoch Ihre Antwort für die ASCII-Beobachtung.
Was den Überstrich für die Verneinung betrifft, würde ich sagen, dass Sie in verschiedenen Kontexten einfach unterschiedliche Bedürfnisse nach Kürze haben. Wenn Sie es mit vielen negierten Signalen zu tun haben, bietet Overbar eine kompakte Notation.
Warum gibt es so viele verschiedene und weithin akzeptierte Notationssysteme für die Boolesche Logik?
AntwortenHierDatenschutz-Bestimmungen1y, 0v