El algoritmo averigua si existe un conjunto de valores verdaderos o falsos que satisface una expresión booleana dada, de modo que la expresión entera se hace cierta.