Strano però, in quanto c'è anche un'altra cosa che non gira:

porta logica OR con due ingressi (x negato,y).
La or restituisce 1 se almeno uno degli ingressi è 1.

Però la tavola di verità recita:

codice:
x y z C
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 1