Tabla de implicaciones

Una tabla de implicación es una herramienta que facilita la minimización de estados en una máquina de estados . El concepto consiste en asumir que cada estado puede combinarse con cualquier otro, para luego eliminar las combinaciones imposibles. Una vez eliminadas todas las combinaciones imposibles, las combinaciones de estados restantes son válidas y, por lo tanto, pueden combinarse.

El procedimiento es el siguiente:

1. Enumerar las posibles combinaciones de estados en una tabla de implicaciones,
2. Eliminar combinaciones que sean imposibles porque los estados producen resultados diferentes,
3. Eliminar combinaciones que sean imposibles porque la combinación depende de la equivalencia de una posibilidad previamente eliminada,
4. Repita el paso anterior hasta que no sea posible realizar más eliminaciones.

• B. Holdsworth (12 de mayo de 2014). Diseño de lógica digital . Elsevier Science. págs.  195–. ISBN 978-1-4831-4222-7.