<logic> The form of a of truth-functional compound when it is expressed as a series of disjuncts when each disjunct is either a simple proposition or the conjunction of simple propositions and the negations of simple propositions. E.g. the DNF of (A or B) and C is (A and C) or (B and C).
[Glossary of First-Order Logic] and [FOLDOC]
<logic, philosophy of science>
p q p v q T T T T F T F T T F F FA compound statement that is true whenever either one or both of its component statements (the disjuncts) are true. Disjunctions are symbolized here in the form: p v q Example: "Either the switch is off or the bulb is burned out."
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google