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