conjunction

A Dictionary of Computing, January, 2004 by JOHN DAINTITH

conjunction A logical expression of the form a 1 ∧ a 2 ∧ … ∧ a n where ∧ is the AND operation . A particular conjunction of interest is the conjunctive normal form (CNF) of a Boolean expression involving n variables, x 1 , x 2 ,…, x n .

Each a i is of the form ( y 1 ∨ y 2 ∨ … ∨ y n ) where ∨ is the OR operation and y i is equal to x i or the complement of x i . Reducing expressions to conjunctive normal form provides a ready method of determining the equivalence of two Boolean expressions. See also propositional calculus . Compare disjunction .