Single Idea 13422

[catalogued under 4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL]

Full Idea

'Conjunctive Normal Form' (CNF) is rearranging the occurrences of ∧ and ∨ so that no disjunction sign has any conjunction in its scope. This is achieved by applying two of the distribution laws.

Gist of Idea

'Conjunctive Normal Form' is ensuring that no disjunction has a conjunction within its scope

Source

David Bostock (Intermediate Logic [1997], 2.6)

Book Reference

Bostock,David: 'Intermediate Logic' [OUP 1997], p.39