'How to convert expression to xor cnf formulas

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 xor clauses. I trying to use sympy, but it does not have a method to do that



Sources

This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.

Source: Stack Overflow

Solution Source