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()
or_(n0(),n0()) -> n0()
not_(not_(n0())) -> n0()
and_(n0(),not_(n0())) -> n0()
and_(not_(n0()),n0()) -> n0()
or_(n0(),not_(n0())) -> not_(n0())
or_(not_(n0()),n0()) -> not_(n0())
and_(not_(n0()),not_(n0())) -> not_(n0())
or_(not_(n0()),not_(n0())) -> not_(n0())
n1() -> not_(n0())

SUCCESS
MaxTRS: 2 
Search time: 0.03 seconds