"1" . _:vb8070049 "(logic) 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)."@en . . _:vb8070049 . .