Single Idea 13421

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

Full Idea

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

Gist of Idea

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

Source

David Bostock (Intermediate Logic [1997], 2.6)

Book Reference

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