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