Oración 1: preliminares: Teoría de la complejidad la variable xi, y, de lo contrario, si bajamos por la izquierda y nos desviamos a la cláusula para volver al nodo consecutivo a la izquierda, entonces se evalúa la variable ¬xi
Oración 2: este orden nos permite crear las cláusulas como las planteamos
Conector: por lo tanto,
Relación: reasoning
Género: theses