Il dispositivo sopra, di cui ancora sconosciamo la costruzione logica interna, ha due ingressi () e un'uscita (), al suo interno il latch mantiene uno stato interno (), tale stato, trattandosi di un latch ad un bit, sarà salvato mediante un solo bit.

Costruiamo la tabella di verità per un dispositivo di questo tipo.
Definiamo come lo stato futuro e come lo stato corrente.
Quindi ci comunica in che stato si trova il latch, mentre ci dice in che stato si troverà.
Definiamo inoltre il comportamento di :

• : hold, ovvero mantenimento dello stato corrente , lo stato futuro non cambierà;
• : store, ovvero salvare una nuova informazione sarà uguale a qualcosa che viene passato come input da settare ()

Quando , qualunque sia l'input passato, stato corrente e stato futuro rimangono uguali.
Può essere interpretato come: se sono in modalità lettura, qualunque tentativo di scrivere è vano.

Quando , lo stato futuro cambia in funzione dello stato attuale e dell'input passato. Se lo stato attuale è 0 e , praticamente l'informazione che voglio salvare è già presente, quindi lo stato futuro non cambia, tuttavia quando è diverso dallo stato attuale, lo stato futuro cambia.

Possiamo distinguere tre situazioni:

• : stato attuale e futuro non cambiano (hold)
• : se stato attuale e futuro non cambiano (hold)
• : se e allora diventa 0 (reset)
• : se e allora diventa 1 (set)

Il circuito memorizza quando avviene l'ultimo cambiamento, ovvero quando si verifica un set o un reset.

Se siamo nello stato 0 e vogliamo passare nello stato 1:

• set deve essere 1
• reset deve essere 0

Ecco cosa succede:

Per la porta NOR sopra diventa 0, tale 0 viene mandato nella porta NOR sotto e diventa 1, poiché R = 0 messa a NOR con 0 fa 1.


Siamo passati allo stato 1.

Da questo stato, se venissero cambiati set e reset, impostandoli entrambi a 0, lo stato non cambia: è stabile.

Si rimane nello stato 1.

Se dallo stato 1 (a cui siamo giunti prima) vogliamo tornare allo stato 0 (e ) è necessario impostare R a 1, per far variare da 1 a 0.

La porta NOR in basso fa variare che diventa 0, tale 0 viene mandato nella porta NOR in alto, avendo così (in alto) 0 NOR 0 = 1.

Da questo stato, se venissero cambiati set e reset, impostandoli entrambi a 0, il circuito non cambia: è stabile.

Si rimane nello stato 0.

Se siamo in S0 ed S = 1 e R = 0, si passa allo stato S1.

Il circuito non è stabile e continua a variare in loop, o ad un certo punto si stabilizza su uno stato non previsto, per cui vogliamo che questa situazione non si verifichi mai.

Utilizziamo il clock: Latch di tipo SR sincronizzato