conjunction

views updated

conjunction A logical expression of the form a1 ∧ a2 ∧ … ∧ an

where ∧ is the AND operation. A particular conjunction of interest is the conjunctive normal form (CNF) of a Boolean expression involving n variables, x1, x2,…, xn. Each ai is of the form (y1 ∨ y2 ∨ … ∨ yn)

where ∨ is the OR operation and yi is equal to xi or the complement of xi. Reducing expressions to conjunctive normal form provides a ready method of determining the equivalence of two Boolean expressions. See also propositional calculus. Compare disjunction.

More From encyclopedia.com