Una tabla de implicaciones es una herramienta que se utiliza para facilitar la minimización de estados en una máquina de estados . El concepto es comenzar a asumir que todos los estados pueden combinarse con todos los demás y luego 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, pueden combinarse.
El procedimiento es el siguiente:
- Enumere las posibilidades de combinación de estados en una tabla de implicaciones,
- Eliminar combinaciones que son imposibles porque los estados producen diferentes salidas,
- Eliminar combinaciones que son 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 . Ciencia de Elsevier. págs. 195–. ISBN 978-1-4831-4222-7.