Conversion en CNF via Tseitin