Category:標準形 (論理)

Conjunctive normal form

Prenex normal form

Negation normal form

Disjunctive normal form

Horn clause

Skolem normal form