Disjunctive normal form
From Encyclopedia of Mathematics
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
A propositional formula of the form
(*) |
where each (; ) is either a variable or the negation of a variable. The form (*) is realizable if and only if, for each , do not contain both the formulas and , where is any variable. For any propositional formula it is possible to construct an equivalent disjunctive normal form containing the same variables as . Such a formula is then said to be the disjunctive normal form of the formula .
How to Cite This Entry:
Disjunctive normal form. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Disjunctive_normal_form&oldid=27312
Disjunctive normal form. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Disjunctive_normal_form&oldid=27312
This article was adapted from an original article by S.K. Sobolev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article