---
tag: 0B3D4C8YF2
kind: concept
name: Conjunctive normal form
msc: [03B05]
sources:
  - url: https://en.wikipedia.org/wiki/Conjunctive_normal_form
    locator: Definition
same_as:
  wikidata: Q846564
  wikipedia: 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|07C4A8Y18K]] gives the precise definition.