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,n0()) -> n0() and_(x,n1()) -> x or_(x,n0()) -> x or_(x,n1()) -> n1() not_(n0()) -> n1() not_(n1()) -> n0() SUCCESS MaxTRS: 2 Search time: 0.01 seconds