. "canonical disjunctive normal form"@en .