Pages that link to "Template:Normal forms in logic"
Jump to navigation
Jump to search
The following pages link to Template:Normal forms in logic:
Displaying 12 items.
- Disjunctive normal form (transclusion) (← links)
- Conjunctive normal form (transclusion) (← links)
- Prenex normal form (transclusion) (← links)
- Skolem normal form (transclusion) (← links)
- Negation normal form (transclusion) (← links)
- Canonical normal form (transclusion) (← links)
- Algebraic normal form (transclusion) (← links)
- Beta normal form (transclusion) (← links)
- Normal form (abstract rewriting) (transclusion) (← links)
- Herbrandization (transclusion) (← links)
- Zhegalkin polynomial (transclusion) (← links)
- Modal clausal form (transclusion) (← links)