The Wolfram Language command LogicalExpand[expr]
gives disjunctive normal form (with some contractions, i.e., LogicalExpand
attempts to shorten output with heuristic simplification).

Examples of disjunctive normal forms include

(1)

(2)

(3)

(4)

(5)

where
denotes OR, denotes AND, and denotes NOT (Mendelson 1997, p. 30).
Some authors also exclude statements containing both statement letters and their
negations, which would exclude the third example above.

Every statement in logic consisting of a combination of multiple , , and s can be written in disjunctive normal form.