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