TkGate

Dopo due o tre tentativi, sono finalmente riuscito a scaricare il PDF di cenz. Analizzando il circuito proposto, le varie funzioni appaiono realizzate come segue (l'asterisco indica negazione):

GO = GI X0* X1* X2* X3*
Y0 = GI X2 + GI X3
Y1 = GI X1 X2* X3* + G1 X3

GO è realizzata correttamente, così come il condizionamento di Y0 e Y1 a GI. Ora, posto che GI = 1, se X1 = X2 = X3 = 0, si ottiene correttamente Y0 = Y1 = 0 per qualunque valore di X0; se X1 = 1 e X2 = X3 = 0, si ottiene (Y1, Y0) = (1, 0) mentre dovrebbe essere (Y1, Y0) = (0, 1); se X2 = 1 e X3 = 0, si ottiene (Y1, Y0) = (0, 1) mentre dovrebbe essere (Y1, Y0) = (1, 0); infine se X3 = 1, si ottiene correttamente Y0 = Y1 = 1. Direi che è sufficiente scambiare tra loro le due uscite Y1 e Y0, in modo che le funzioni diventino

Y1 = GI X2 + GI X3
Y0 = GI X1 X2* X3* + G1 X3

e tutto fila liscio.