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