Si la rete che hai disegnato realizza la funzione logica XOR.
Per esempio:
nel caso in cui A=0 e B=0 il circuito diventa:
e l'uscita viene forzata al valore logico basso,in questo caso GND.Questo è quello che ci si aspetta guardando la tabella di verità di una XOR,cioè A=0 B=0 OUT=0
Nel caso in cui A=0 e B=1 ci aspettiamo OUT=1,ridisegnando il circuito tenendo conto di queste combinazioni in ingresso si ottiene:
La rete di pulldown risulta essere spenta in questo caso e la rete di pullup invece,contrariamente a quanto accadeva prima,è ON e porta l'uscita al valore logico alto.
Per le altre due combinazioni rimaste il ragionamento è identico.