logic circuit ~((x and ~y) or ~(~x and y) )