(VAR x)
(RULES
and(x,n0) -> n0
and(x,n1) -> x
or(x,n0) -> x
or(x,n1) -> n1
not(n0) -> n1
not(n1) -> n0
)