جدول الدلالة

جدول الاستلزام هو أداة تُستخدم لتسهيل تقليل عدد الحالات في آلة الحالة . تقوم الفكرة على افتراض إمكانية دمج كل حالة مع أي حالة أخرى، ثم استبعاد التركيبات غير الممكنة. عند استبعاد جميع التركيبات غير الممكنة، تصبح تركيبات الحالات المتبقية صالحة، وبالتالي يمكن دمجها.

الإجراء كالتالي:

1. قم بإدراج احتمالات تركيب الحالات في جدول الاستدلال،
2. استبعد التركيبات المستحيلة لأن الحالات تنتج مخرجات مختلفة،
3. استبعد التركيبات المستحيلة لأنها تعتمد على تكافؤ احتمال تم استبعاده مسبقاً.
4. كرر الخطوة السابقة حتى لا يكون من الممكن إجراء المزيد من عمليات الاستبعاد.

• ب. هولدسوورث (12 مايو 2014). تصميم المنطق الرقمي . إلسيفير ساينس. ص  195 وما بعدها. ISBN 978-1-4831-4222-7.