Tabela implikacji

Tablica implikacji jest narzędziem ułatwiającym minimalizację stanów w maszynie stanów . Koncepcja polega na tym, aby zacząć zakładać, że każdy stan może łączyć się z każdym innym stanem, a następnie wyeliminować kombinacje, które nie są możliwe. Kiedy wszystkie niemożliwe kombinacje zostaną wyeliminowane, pozostałe kombinacje stanów są ważne, a zatem można je łączyć.

Procedura jest następująca:

1. Wypisz możliwości kombinacji stanów w tabeli implikacji,
2. Eliminuj kombinacje, które są niemożliwe, ponieważ stany dają różne wyjścia,
3. Eliminuj kombinacje, które są niemożliwe, ponieważ kombinacja zależy od równoważności wcześniej wyeliminowanej możliwości,
4. Powtarzaj powyższy krok, aż dalsze eliminacje nie będą możliwe.

•   B. Holdsworth (12 maja 2014). Projektowanie logiki cyfrowej . Nauka Elseviera. s. 195–. ISBN 978-1-4831-4222-7 .