Blake canonical form
In Boolean logic, a formula for a Boolean function f is in Blake canonical form, also called the complete sum of prime implicants, the complete sum, or the disjunctive prime form, when it is a disjunction of all the prime implicants of f. Blake canonical form is a disjunctive normal form.