Implication table

Implication table

An implication table is a tool used to facilitate the minimization of states in a state machine. The concept is to start assuming that every state may be able to combine with every other state, then eliminate combinations that are not possible. When all the impossible combinations have been eliminated, the remaining state combinations are valid, and thus can be combined.

The procedure is as follows:
# List state-combination possibilities in an implication table,
# Eliminate combinations that are impossible because the states produce different outputs,
# Eliminate combinations that are impossible because the combination depends on the equivalence of a previously eliminated possibility,
# Repeat the above step until no more eliminations are possible.

ee also

*Moore reduction procedure


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • implication — [ ɛ̃plikasjɔ̃ ] n. f. • XVe « fait d être embrouillé »; lat. implicatio 1 ♦ (1611) Dr. Action d impliquer (qqn) dans une affaire criminelle. 2 ♦ Log. Relation logique consistant en ce qu une chose en implique une autre (si A, alors B). Log., math …   Encyclopédie Universelle

  • Implication (mathématiques) — Implication (logique) Pour les articles homonymes, voir Implication. En logique classique, l expression « une proposition P implique logiquement une proposition Q » signifie « la proposition ¬P ∨ Q est vraie ». Formellement… …   Wikipédia en Français

  • Implication logique — Implication (logique) Pour les articles homonymes, voir Implication. En logique classique, l expression « une proposition P implique logiquement une proposition Q » signifie « la proposition ¬P ∨ Q est vraie ». Formellement… …   Wikipédia en Français

  • Table des symboles mathématiques Français-Anglais — En mathématiques, certains symboles sont fréquemment utilisés. Le tableau suivant représente une aide pour les non mathématiciens qui ne sont pas habitués à ces symboles. Dans la table, sont précisés pour chaque symbole, le nom, la prononciation… …   Wikipédia en Français

  • Table des symboles mathematiques — Table des symboles mathématiques En mathématiques, certains symboles sont fréquemment utilisés. Le tableau suivant représente une aide pour les non mathématiciens qui ne sont pas habitués à ces symboles. Dans la table, sont précisés pour chaque… …   Wikipédia en Français

  • Implication (logique) —  Pour l’article homonyme, voir Implication sociale.  En logique classique, l expression « une proposition P implique logiquement une proposition Q » signifie « la proposition ¬P ∨ Q est vraie ». Formellement cela s… …   Wikipédia en Français

  • implication — noun Date: 15th century 1. a. the act of implicating ; the state of being implicated b. close connection; especially an incriminating involvement 2. a. the act of implying ; the state of being implied b. (1) a logical relation between two propo …   New Collegiate Dictionary

  • Table des symboles mathématiques français-anglais — En mathématiques, certains symboles sont fréquemment utilisés. Le tableau suivant représente une aide pour les non mathématiciens qui ne sont pas habitués à ces symboles. Dans la table, sont précisés pour chaque symbole, le nom, la prononciation… …   Wikipédia en Français

  • Table des symboles mathématiques — En mathématiques, certains symboles sont fréquemment utilisés. Le tableau suivant représente une aide pour ceux qui ne sont pas habitués à ces symboles. Dans la table, sont précisés pour chaque symbole, le nom, la prononciation et la branche des… …   Wikipédia en Français

  • Truth table — A truth table is a mathematical table used in logic specifically in connection with Boolean algebra, boolean functions, and propositional calculus to compute the functional values of logical expressions on each of their functional arguments, that …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”