Primero, no estoy 100% seguro de cuál es tu pregunta, es sobre cómo están organizadas las puertas o sobre la lógica ...
Pero lo que he interpretado es lo siguiente:
El estado actual se indica como Q = 0 Q '= 1 en la tabla de verdad a continuación, esto indica que el SR está RESET.
Ahora S = 1 y R = 0 (indicado), por lo que esto pone el Latch en el estado SET, dando Q = 1 y Q '= 0. Así que todo lo comprueba.
"No entiendo cómo, ya que Q '= 1 de ps es mi entrada junto con R = 0, que da el siguiente estado como 0 pero se supone que es 1."
Q 'no es una entrada en el sentido normal, está en la pregunta explicar cuál es el estado actual para que se pueda determinar el siguiente estado.
EDIT
Desde la perspectiva del nivel de puerta Q = 0, Q '= 1, la retroalimentación la mantiene en este estado. Entonces S = 1, R = 0; Todo está en el calendario de los eventos. Cuando S se pulsa a 1 Q ', cambia a 0. Esto se conecta en cascada a la otra compuerta y Q a 1.