Erhalten der logischen Funktion von der Wahrheitstafel: Shannon Theorem

Kombinatorische logische Schaltkreise werden durch das Nehmen von Wahrheitstafeln als Input gelöst, da dies alle möglichen Input- und Outputkombinationen etabliert. Die Wahrheitstafel als Input nehmend, können wir eine logische Funktion in zwei möglichen Formen etablieren:

(1)    Erste kanonische Form oder disjunkte kanonische Form (Summe von Produkt oder Minterms)

(2)    Zweite kanonische Form oder konjunktive kanonische Form (Produkt von Summe oder Maxterms).

In der ersten kanonischen Form, SoP (Summe von Produkten) wird durch Addieren von allen Minterms, welche 1 als Output ergeben, erhalten. Bei einem Minterm wird 0 der invertierten Variable zugewiesen und 1 der direkten Variable (Shannon Theorem).

First canonical form

Second canonical form

 

Die zweite kanonische Form, PoS (Produkt von Summen), wird in einer dualen Form zur vorangegangenen erhalten: durch Multiplikation des Maxiterms, dessen Resultats Kolumne 0 zeigt. Der Maxiterm ist der Dual des Miniterm.

Schauen wir uns das folgende Beispiel an: