MAYBE
Time: 0.201

Problem:
 Equations:
  
 TRS:
  eqC(x,x) -> true()
  not(eqC(x,y)) -> neqC(x,y)
  not(neqC(x,y)) -> eqC(x,y)
  not(true()) -> false()
  not(false()) -> true()
  not(not(x)) -> x
  not(and(x,y)) -> or(not(x),not(y))
  not(or(x,y)) -> and(not(x),not(y))
  neqC(x,x) -> false()
  or(and(x,y),z) -> and(or(x,z),or(y,z))
  or(x,x) -> x
  or(x,true()) -> true()
  or(x,false()) -> x
  and(x,x) -> x
  and(x,true()) -> x
  and(x,false()) -> false()
  and(x,or(x,y)) -> x

Proof:
 Open