MAYBE
MAYBE
TRS:
 {
          xor(x, x) -> F(),
        xor(x, F()) -> x,
     xor(x, neg(x)) -> F(),
             neg(x) -> xor(x, T()),
          and(x, x) -> x,
        and(x, F()) -> F(),
        and(x, T()) -> x,
  and(xor(x, y), z) -> xor(and(x, z), and(y, z)),
         impl(x, y) -> xor(and(x, y), xor(x, T())),
           or(x, y) -> xor(and(x, y), xor(x, y)),
        equiv(x, y) -> xor(x, xor(y, T()))
 }
 DUP: We consider a duplicating system.
  Trs:
   {
            xor(x, x) -> F(),
          xor(x, F()) -> x,
       xor(x, neg(x)) -> F(),
               neg(x) -> xor(x, T()),
            and(x, x) -> x,
          and(x, F()) -> F(),
          and(x, T()) -> x,
    and(xor(x, y), z) -> xor(and(x, z), and(y, z)),
           impl(x, y) -> xor(and(x, y), xor(x, T())),
             or(x, y) -> xor(and(x, y), xor(x, y)),
          equiv(x, y) -> xor(x, xor(y, T()))
   }
  Fail