EQUATIONS: 
and_(x,n0()) = n0()
and_(x,n1()) = x
or_(x,n0()) = x
or_(x,n1()) = n1()
not_(n0()) = n1()
not_(n1()) = n0()

COMPLETE TRS:
RULES:
and_(x,n1()) -> x
or_(x,n1()) -> n1()
not_(not_(n1())) -> n1()
or_(x,not_(n1())) -> x
and_(x,not_(n1())) -> not_(n1())
n0() -> not_(n1())

SUCCESS
MaxTRS: 2 
Search time: 0.01 seconds