SUCCESS
0.09 (total time)

COMPLETED TRS
not(n1) -> n0
not(n0) -> n1
or(n1, n1) -> n1
or(n1, n0) -> n1
or(n0, n1) -> n1
or(n0, n0) -> n0
and(n1, n1) -> n1
and(n1, n0) -> n0
and(n0, n1) -> n0
and(n0, n0) -> n0