---
tag: 0GVDFAY4KW
kind: concept
name: Disjunctive normal form
msc: [03B05]
sources:
  - url: https://en.wikipedia.org/wiki/Disjunctive_normal_form
    locator: Definition
same_as:
  wikidata: Q903789
  wikipedia: 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|06S4WGSEQA]] gives the precise definition.