Una cláusula es una disyunción finita de cero o más literales. Cuando la cláusula está compuesta de un solo literal diremos que es una cláusula unitaria.[4]

Una cláusula no vacía puede escribirse de la siguiente forma:

(∀X₁),...,(∀X_s)(M₁ v ... v M_m v ¬N₁ v ... v ¬N_n)

donde M y N representan átomos. 

Esta expresión es equivalente a:

(∀X₁),...,(∀X_s)(M₁ v ... v M_m ← N₁ ^ ... ^ N_n)

Esto se lee: "Si se cumple N₁ y... y N_n entonces debe cumpirse M₁ o... o M_m."