MODULE: JKLATCH INPUT: J K OUTPUT: Q : TOGGLE Q @ NOT Q = ; : RESET 0 Q = ; : SET 1 Q = ; : JKLATCH J @ K @ AND IF TOGGLE ; THEN J @ K @ = IF ; THEN J @ 1 = IF SET THEN RESET ; ; ;