释义 |
normal form noun logic : a canonical or standard fundamental form of a statement to which others can be reduced; especially : a compound statement in the propositional calculus consisting of nothing but a conjunction of disjunctions whose disjuncts are either elementary statements or negations thereof |