Yo usaría una descripción diferente aquí. Considero que la descripción que incluyó es demasiado técnica sin ningún intento de permitir que el lector vea la imagen más grande.
simular este circuito : esquema creado usando CircuitLab
Veamos una tabla para la región azul punteada arriba:
$$ \ begin {array} {cc | cc}
\ text {A} & \ text {B} & \ text {C} & \ text {OUT} \\
\ hline
0 & 0 & 1 & 1 & \ text {No utilizado} \\
0 & 1 & 0 & 1 & \ text {ESTADO = 1} \\
1 & 0 & 1 & 0 & \ text {ESTADO = 0} \\
1 & 1 & mantener & mantener & \ text {MANTENER} \\
\ end {array} $$
Tenga en cuenta que en la tabla anterior, uno de los casos no se utiliza. Verá ese hecho en la siguiente tabla, que muestra los valores de \ $ A \ $ y \ $ B \ $ que pueden generarse mediante combinaciones de \ $ IN \ $ y \ $ S \ $ (a saber, el guión verde). región arriba):
$$ \ begin {array} {cc | cc}
\ text {IN} & \ text {S} & \ text {A} & \ text {B} \\
\ hline
0 & 0 & 1 & 1 & \ text {MANTENER} \\
0 & 1 & 1 & 0 & \ text {ESTADO = 0} \\
1 & 0 & 1 & 1 & \ text {MANTENER} \\
1 & 1 & 0 & 1 & \ text {ESTADO = 1}
\ end {array} $$
(Puede ver que el estado no utilizado que mencioné para la región azul discontinua de arriba no se produce en absoluto. Por lo tanto, no debe preocuparse por eso).
Está bien. Eso es usar tablas para ayudar a entender algunos detalles.
Ahora, solo usemos nuestro cerebro.
Cuando \ $ S = 1 \ $, todo lo que esté en \ $ IN \ $ aparecerá invertido en \ $ A \ $. En este caso, \ $ A = \ overline {IN} \ $. Además, dado que \ $ A \ $ es la entrada a la puerta NAND para \ $ B \ $, cualquier cosa que esté en \ $ A \ $ también se invertirá en \ $ B \ $. Entonces se deduce que \ $ B = \ overline {A} = IN \ $. Ahí es cuando \ $ S = 1 \ $.
¿Por qué? Porque cuando \ $ S = 1 \ $ básicamente convierte las dos primeras compuertas NAND en inversores , que invierten su entrada para generar su salida. Puede ver que \ $ S \ $ es una línea inverter enable . Cuando \ $ S = 1 \ $, las dos primeras compuertas NAND son habilitadas a invert sus entradas.
Como consecuencia, cuando \ $ S = 1 \ $ entonces \ $ A = \ overline {IN} \ $ y \ $ B = IN \ $.
Cuando \ $ S = 0 \ $, puede ver que no importa qué es \ $ IN \ $, el resultado es siempre el estado \ $ KEEP \ $. Entonces, cuando \ $ S = 0 \ $, todo lo que estaba presente en \ $ OUT \ $ se guarda.
Cuando \ $ S = 0 \ $, desactiva las dos primeras puertas NAND para que ignoren sus entradas y simplemente conduzca sus salidas a ALTO.
Como consecuencia, cuando \ $ S = 0 \ $ entonces \ $ A = 1 \ $ y \ $ B = 1 \ $.
Con suerte, esos dos enfoques son suficientes para ayudar.