Tema 4. Transformació a forma clausal.pdf