mathswitch — infrastructure for relaying and exchanging mathematical concepts

disjunctive normal form

proposition formula of a special form

MathWorld: DisjunctiveNormalForm
Wikipedia (English): Disjunctive normal form
Wikidata: disjunctive normal form