Oración 1: esto es lo que vamos a utilizar para construir las cláusulas como desigualdades
Oración 2: consideremos una cláusula (xi ∨ ¬xj ∨ xk) Con ella, y junto a las condiciones que explicamos anteriormente de las variables zi, podemos reescribirla así: zi + (1− zj) + zk ≥ 1 34 Capítulo 1
Conector: por lo tanto,
Relación: reasoning
Género: theses