Klavzula

Iz MaFiRaWiki

Klavzula je disjunkcija literalov. Npr v klavzuli

¬ p ∨ q ∨ ¬ r

so trije literali ¬ p, q in ¬ r.

Glej tudi

Osebna orodja