# x1 x2 y 0 0 0 0 1 1 1 0 1 1 1 0