Una tabla de implicación es una herramienta que se utiliza para facilitar la minimización de estados en una máquina de estados . El concepto consiste en empezar asumiendo que cada estado puede combinarse con todos los demás estados y, a continuación, eliminar las combinaciones que no son posibles. Cuando se han eliminado todas las combinaciones imposibles, las combinaciones de estados restantes son válidas y, por lo tanto, se pueden combinar.
El procedimiento es el siguiente:
- Enumere las posibilidades de combinación de estados en una tabla de implicaciones.
- Eliminar combinaciones que sean imposibles porque los estados producen diferentes salidas,
- Eliminar combinaciones que sean imposibles porque la combinación depende de la equivalencia de una posibilidad previamente eliminada,
- Repita el paso anterior hasta que no sean posibles más eliminaciones.
Referencias
- B. Holdsworth (12 de mayo de 2014). Diseño de lógica digital. Elsevier Science. pp. 195–. ISBN 978-1-4831-4222-7.
