EQUATIONS: 
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()

COMPLETE TRS:
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()

SUCCESS
MaxTRS: 2 
Search time: 0.01 seconds