(VAR x) (RULES eq(0,0) -> 1 eq(1,1) -> 1 eq(0,1) -> 0 eq(1,0) -> 0 or(0,x) -> x or(x,0) -> x or(1,x) -> 1 or(x,1) -> 1 and(0,x) -> 0 and(x,0) -> 0 and(1,x) -> x and(x,1) -> x )