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