MAYBE
MAYBE
TRS:
 {
          xor(x, x) -> false(),
    xor(x, false()) -> x,
             not(x) -> xor(x, true()),
          and(x, x) -> x,
     and(x, true()) -> x,
    and(x, false()) -> false(),
  and(xor(x, y), z) -> xor(and(x, z), and(y, z)),
           or(x, y) -> xor(and(x, y), xor(x, y)),
      implies(x, y) -> xor(and(x, y), xor(x, true()))
 }
 DUP: We consider a duplicating system.
  Trs:
   {
            xor(x, x) -> false(),
      xor(x, false()) -> x,
               not(x) -> xor(x, true()),
            and(x, x) -> x,
       and(x, true()) -> x,
      and(x, false()) -> false(),
    and(xor(x, y), z) -> xor(and(x, z), and(y, z)),
             or(x, y) -> xor(and(x, y), xor(x, y)),
        implies(x, y) -> xor(and(x, y), xor(x, true()))
   }
  Fail