“disjunctive normal form”的概念、定义、翻译、参考文献-科学参考

disjunctive normal form

Mathematics

A formula is in disjunctive normal form if it is expressed as a disjunction of conjunctions. This might be visualized using Venn diagrams as then union of the regions where the formula holds true, expressed as intersections of the sets and their complements.

A formula is in conjunctive normal form if it is expressed as a conjunction of disjunctions. By De Morgan’s laws, the conjunctive normal form of P can be deduced from the negation of the disjunctive normal form of the negation of P.

Computer

Logic

A finite disjunction in which each disjunct is a finite conjunction of literals, i.e., a finite disjunction of elementary conjunctions. A disjunctive normal form will appear as a formula:
$\underset{n times}{\underset{︸}{(φ_{0}^{0} \land … \land φ_{i_{0}}^{0}) \lor … \lor (φ_{0}^{n - 1} \land … \land φ_{i_{n - 1}}^{n - 1})}}$
where each $φ_{j}^{i}$ is a literal.

单词	disjunctive normal form
释义	disjunctive normal form Mathematics A formula is in disjunctive normal form if it is expressed as a disjunction of conjunctions. This might be visualized using Venn diagrams as then union of the regions where the formula holds true, expressed as intersections of the sets and their complements. A formula is in conjunctive normal form if it is expressed as a conjunction of disjunctions. By De Morgan’s laws, the conjunctive normal form of P can be deduced from the negation of the disjunctive normal form of the negation of P. Computer See disjunction. Logic A finite disjunction in which each disjunct is a finite conjunction of literals, i.e., a finite disjunction of elementary conjunctions. A disjunctive normal form will appear as a formula: $\underset{n times}{\underset{︸}{(φ_{0}^{0} \land … \land φ_{i_{0}}^{0}) \lor … \lor (φ_{0}^{n - 1} \land … \land φ_{i_{n - 1}}^{n - 1})}}$ where each $φ_{j}^{i}$ is a literal.
随便看	control character control chart control charts control circuitry Control Commissions Control Data Corporation control design control electrode control element control flow control-flow graph control grid control group control key controlled-carrier modulation controlled crash controlled sharing controlled sources controlled substance controlled system controlled variable controller controller tuning control line control location