(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
)