MAYBE

Problem:
 not(not(x)) -> x
 not(or(x,y)) -> and(not(not(not(x))),not(not(not(y))))
 not(and(x,y)) -> or(not(not(not(x))),not(not(not(y))))

Proof:
 Complexity Transformation Processor:
  strict:
   not(not(x)) -> x
   not(or(x,y)) -> and(not(not(not(x))),not(not(not(y))))
   not(and(x,y)) -> or(not(not(not(x))),not(not(not(y))))
  weak:
   
  Matrix Interpretation Processor:
   dimension: 1
   max_matrix:
    1
    interpretation:
     [and](x0, x1) = x0 + x1,
     
     [or](x0, x1) = x0 + x1 + 1,
     
     [not](x0) = x0
    orientation:
     not(not(x)) = x >= x = x
     
     not(or(x,y)) = x + y + 1 >= x + y = and(not(not(not(x))),not(not(not(y))))
     
     not(and(x,y)) = x + y >= x + y + 1 = or(not(not(not(x))),not(not(not(y))))
    problem:
     strict:
      not(not(x)) -> x
      not(and(x,y)) -> or(not(not(not(x))),not(not(not(y))))
     weak:
      not(or(x,y)) -> and(not(not(not(x))),not(not(not(y))))
    Open