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:
 RT 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
   interpretation:
    [and](x0, x1) = x0 + x1 + 20,
    
    [or](x0, x1) = x0 + x1 + 10,
    
    [not](x0) = x0 + 1
   orientation:
    not(not(x)) = x + 2 >= x = x
    
    not(or(x,y)) = x + y + 11 >= x + y + 26 = and(not(not(not(x))),not(not(not(y))))
    
    not(and(x,y)) = x + y + 21 >= x + y + 16 = or(not(not(not(x))),not(not(not(y))))
   problem:
    strict:
     not(or(x,y)) -> and(not(not(not(x))),not(not(not(y))))
    weak:
     not(not(x)) -> x
     not(and(x,y)) -> or(not(not(not(x))),not(not(not(y))))
   Open