Conjunctive normal form
Summary
A formula in conjunctive normal form is a conjunction of clauses, each a disjunction of literals. It is the standard input form for satisfiability solvers. The node conjunctive normal form gives the precise definition.
What this node needs for W2
- edge instance_of in: at least two examples (0 of 2)
- edge not_instance_of in: at least one non-example (0 of 1)
- edge specializes both: the more general notions and the special cases (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
Sources
What links here
Definitions
- Conjunctive normal form 07C4A8Y18K