Conversion de formules en CNF