BabelNet

bn:03601122n

Noun Concept

SYL

No term available

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

Relations

Sources

IS A

canonical normal form

propositional formula

HAS PART

conjunction

clause

PART OF

symbolic logic

HAS KIND

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

STUDIED BY

symbolic logic