“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.
随便看	clock paradox clock rate clock reaction clock signal clocks, image of the two clock skew clock star clock synchronization clockwise clod clonal selection clone clone phishing cloning vector clonotype clopen set Clopper–Pearson method CLOS close close company closed closed chain closed circuit closed-circuit television closed circulation