Formaremos un grafo G con un nodo por cada literal que aparece en cada cláusula.