About this document
Predicate Calculus Normal Form Conversion by Archana Panwar is a document available to read on EtoBox.
The document describes the steps to convert a first-order logic formula to clause normal form: 1) Eliminate redundant quantifiers and introduce existential quantifiers for unhandled variables 2) Rename variables quantified more than once 3) Eliminate implications 4) Move negations inward 5) Push quantifiers to the right 6) Eliminate existential quantifiers through Skolemization 7) Move universal quantifiers left 8) Distribute conjunction over disjunction 9) Optionally simplify
- Author
- Archana Panwar
- Language
- EN