Este documento describe un sistema combinacional que no está completamente especificado, como un decodificador de código BCD a siete segmentos. Explica que un sistema puede considerarse no completamente especificado debido a combinaciones de entrada que no pueden ocurrir o que tienen salidas que no importan. Luego, detalla los pasos para identificar las terminales de un display de siete segmentos y desarrollar una tabla de verdad y archivo ABEL para un decodificador BCD a siete segmentos.