El paso de simplificación esencialmente elimina todas las cláusulas que se convierten en verdaderas en función de la fórmula, y todos los literales de las cláusulas restantes se convierten en falsas.