Implemented toCnf() in formula.py