BabelNet

bn:03601122n

Noun Concept

Categories: Normal forms (logic)

conjunctive normal form 3-CNF clausal form clausal normal form clause normal form

In Boolean logic, a formula is in conjunctive normal form or clausal normal form if it is a conjunction of one or more clauses, where a clause is a disjunction of literals; otherwise put, it is a product of sums or an AND of ORs. Wikipedia

Definitions

Relations

Sources

Concept in Boolean logic Wikidata

A conjunction of clauses, where clauses are literals or disjunctions of literals. OmegaWiki

The form of a boolean formula that the formula has if the formula is a conjunction of disjunctions of literals, such as “(A or B or C) and (D or E or not F)”. Wiktionary

IS A

canonical normal form

propositional formula

HAS PART

conjunction

clause

PART OF

symbolic logic

HAS KIND

Совершенная конъюнктивная нормальная форма

STUDIED BY

symbolic logic