Implikationstabelle - Implication table

Eine Implikationstabelle ist ein Werkzeug, mit dem die Minimierung von Zuständen in einer Zustandsmaschine erleichtert wird . Das Konzept besteht darin, davon auszugehen, dass jeder Zustand mit jedem anderen Zustand kombiniert werden kann, und dann Kombinationen zu eliminieren, die nicht möglich sind. Wenn alle unmöglichen Kombinationen beseitigt wurden, sind die verbleibenden Zustandskombinationen gültig und können somit kombiniert werden.

Das Verfahren ist wie folgt:

  1. Listen Sie Statuskombinationsmöglichkeiten in einer Implikationstabelle auf.
  2. Beseitigen Sie Kombinationen, die unmöglich sind, weil die Zustände unterschiedliche Ausgaben erzeugen.
  3. Beseitigen Sie Kombinationen, die unmöglich sind, da die Kombination von der Äquivalenz einer zuvor eliminierten Möglichkeit abhängt.
  4. Wiederholen Sie den obigen Schritt, bis keine Eliminierungen mehr möglich sind.

Verweise

  • B. Holdsworth (12. Mai 2014). Digital Logic Design . Elsevier Science. S. 195–. ISBN   978-1-4831-4222-7 .