Definition, synonyms and related words
A sum that is a logical OR of a set of variables where each individual variable only appears once in the sum, either in complemented or uncomplemented form, so that the value of the sum becomes 0.