Category:Normal forms (logic)

This category concerns the various normal forms used in logic.

Pages in category "Normal forms (logic)"

The following 13 pages are in this category, out of 13 total. This list may not reflect recent changes.

A

Algebraic normal form

B

C

Conjunctive normal form

D

Disjunctive normal form

H

M

Modal clausal form

N

Negation normal form

P

Prenex normal form

S

Skolem normal form

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Normal_forms_(logic)&oldid=1165790125"