Die Rechenregeln der Schaltalgebra

Zusammenfassung

In Abschnitt 1.22 wurden die Rechenregeln für die Zahlenwerte der Variablen in den Grundfunktionen der Schaltalgebra eingeführt, nämlich diejenigen für die Und-, Oder- und Umkehr-Funktion. Diese Regeln werden oft auch Postulate genannt, weil sie die Forderungen enthalten, welche durch die Grundfunktionen gestellt werden. Nachfolgend wenden wir uns den Rechenregeln für die Variablen zu, welche durch die Grundfunktionen miteinander verknüpft sind. Diese Regeln, auch Theoreme genannt, werden zur Umformung der Schaltfunktion verwendet. Sie lassen sich einteilen in Rechenregeln für Spezialfälle der Grundfunktionen, in die Grundgesetze und schliesslich in die abgeleiteten Rechenregeln.