title: How to convert expression to xor cnf formulas
body: <p>I have an expression like this not((a xor b xor c) and (d xor e xor f) and (g xor h xor I)). And I want to convert to <a href="https://www.msoos.org/xor-clauses/" rel="nofollow noreferrer">xor clauses</a>. I trying to use sympy, but it does not have a method to do that</p>