Math 2.0

concept

Disjunctive normal form

Summary

A formula in disjunctive normal form is a disjunction of conjunctions of literals. Every Boolean function has such a form, which can be read off from its truth table. The node disjunctive 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

  1. Web https://en.wikipedia.org/wiki/Disjunctive_normal_form, Definition