Implikační tabulka - Implication table

An implikační tabulka je nástroj používaný k usnadnění minimalizace státy v státní stroj. Koncept má začít předpokládat, že každý stát může být schopen kombinovat s každým jiným státem, poté vyloučit kombinace, které nejsou možné. Když byly vyloučeny všechny nemožné kombinace, zbývající kombinace stavů jsou platné a lze je tedy kombinovat.

Postup je následující:

  1. Seznam možností kombinace stavů v implikační tabulce,
  2. Eliminujte kombinace, které jsou nemožné, protože stavy produkují různé výstupy,
  3. Eliminujte kombinace, které jsou nemožné, protože kombinace závisí na ekvivalenci dříve vyloučené možnosti,
  4. Výše uvedený krok opakujte, dokud již nebude možné vyloučit.

Viz také

Reference

  • Holdsworth (12. května 2014). Návrh digitální logiky. Elsevierova věda. str. 195–. ISBN  978-1-4831-4222-7.