Таблица импликаций — это инструмент, используемый для упрощения минимизации состояний в машине состояний . Идея заключается в том, чтобы начать с предположения, что каждое состояние может быть способно сочетаться с любым другим состоянием, а затем исключить комбинации, которые невозможны. Когда все невозможные комбинации будут исключены, оставшиеся комбинации состояний станут допустимыми и, таким образом, могут быть объединены.
Процедура следующая:
- Перечислите возможные комбинации состояний в таблице импликаций,
- Исключить комбинации, которые невозможны, поскольку состояния производят разные результаты,
- Исключить комбинации, которые невозможны, поскольку комбинация зависит от эквивалентности ранее исключенной возможности,
- Повторяйте вышеуказанный шаг до тех пор, пока не останется возможности исключить что-либо еще.
Ссылки
- Б. Холдсворт (12 мая 2014 г.). Цифровое логическое проектирование. Elsevier Science. стр. 195–. ISBN 978-1-4831-4222-7.
