CNF

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf abbreviation
gptkbp:application automated theorem proving
SAT solving
logic circuit design
gptkbp:contrastsWith gptkb:Disjunctive_Normal_Form
gptkbp:defines A conjunction of one or more clauses, where a clause is a disjunction of literals
https://www.w3.org/2000/01/rdf-schema#label CNF
gptkbp:property Every Boolean formula can be converted to an equivalent CNF formula
gptkbp:relatedTo gptkb:logic
gptkb:DNF
Boolean satisfiability problem
gptkbp:standsFor gptkb:Conjunctive_Normal_Form
gptkbp:usedIn gptkb:algebra
gptkb:logic
computer science
gptkbp:bfsParent gptkb:Canton_Municipal_Airport
gptkb:conjunctive_normal_form
gptkbp:bfsLayer 5