Disjunctive Normal Form

Author

Eric W. Weisstein
April 17, 2002

This notebook downloaded from http://mathworld.wolfram.com/notebooks/Logic/DisjunctiveNormalForm.nb.

For more information, see Eric's MathWorld entry http://mathworld.wolfram.com/DisjunctiveNormalForm.html.

©2005 Wolfram Research, Inc. except for portions noted otherwise

Examples

LogicalExpand/@{
A,
Or[And[A,B],And[Not[A],C]],
Or[And[A,B,Not[D]],And[C,Not[B]],And[A,Not[C]]],
And[A,B],
Or[A,And[B,C]]
}//ColumnForm