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