disjunctive normal formnoun the form of a boolean formula that the formula has if the formula is a disjunction of conjunctions of literals, such as “(A and B and C) or (D and E and not F)”
canonical disjunctive normal formnoun disjunctive normal form with the additional property that all of the terms of the sum contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals)
