Con el 'mt' para la entrada C, esto simplemente significa que la entrada no está lista hasta que mt transcurra un tiempo después de las entradas X e Y. Cada compuerta agrega un retardo de propagación t , por lo que esto simplemente le dice que Cin fue producido por m gates.
Sobre esas dos puertas que producen Cout, y el máximo anidado () -
max (max (mt, t), t) se reduce a max (mt, t):
vamos f (m, t) = max (max (mt, t), t)
sea g (m, t) = max (mt, t)
si mt > t, entonces
f (mt, t) es igual a max (max (mt, t), t) es igual a max (mt, t) es igual a mt
g (mt, t) es igual a max (mt, t) es igual a mt
si mt < = t, entonces
f (m, t) es igual a max (max (mt, t), t) es igual a max (t, t), es igual a t
g (m, t) es igual a max (mt, t) es igual a t
Entonces, para cualquier m y t, las funciones f () y g () son equivalentes. Es decir, max (max (mt, t), t) se reduce a max (mt, t)!
Ahora, con eso fuera del camino, debería ver que t no se extrajo de la expresión max (); ese retardo t fue provocado por la puerta AND más a la derecha. Fueron las entradas a esa compuerta AND las que estaban listas en el tiempo máx (mt, t), y su salida estuvo lista para las unidades t después de eso, para max (mt, t) + t. Del mismo modo, el OR que produce la salida de C agrega otro t de retraso de propagación, que le da el resultado máximo (mt, t) + 2t.