Si \ $ c = 0 \ $, entonces el triestado superior es hi-Z. El estado inferior debe estar activado (\ $ a = 1 \ $) para que la salida esté bien definida, por lo que \ $ out = c = 0 \ $.
Si \ $ c = 1 \ $, entonces el estado superior de tres estados está habilitado y:
a. \ $ a = 0 \ $ para que el estado tri inferior esté desactivado y \ $ out = a \ cdot b = 0 \ $; o
segundo. \ $ a = 1 \ $ y el tri-estado superior e inferior deben tener la misma salida para que el estado sea válido, es decir, \ $ \ overline {c} = \ overline {a \ cdot b} \ $ . Dados los valores conocidos, \ $ b = 1 \ $ es obligatorio y \ $ out = 1 \ $
Esto analiza todas las combinaciones válidas posibles (basadas en las configuraciones posibles válidas de los buffers de tres estados). Podemos ver que la salida es 1 cuando \ $ a \ cdot c \ $, y 0 en caso contrario. Por lo tanto,
\ $ out = a \ cdot c \ $
Quizás esta no sea la forma más eficiente de analizarla, o la más generalizable (las tablas de verdad y luego una reducción del mapa de Karnaugh serían más generales), pero parece un mejor enfoque para comprender lo que sucede de manera intuitiva.
El punto b anterior es potencialmente peligroso en la implementación real, debido a los disparos en el caso de que \ $ a = c = 1 \ $ y \ $ b = 0 \ $.