Una cláusula es una fbf (fórmula bien formada) que no contiene instancias del conector ^ , o en otras palabras es una disyunción de literales.[4]

Es decir:

Paola no vino a la escuela o no la vi.