Book Chapter

Conjunctive Normal Form

Springer Science+Business Media, (2017), 260-261
DOI: 10.1007/978-1-4899-7687-1_158
2Citations
Citations of this article
19Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Conjunctive normal form (CNF) is an important normal form for propositional logic. A logic formula is in conjunctive normal form if it is a single conjunction of disjunctions of (possibly negated) literals. No more nesting and no other negations are allowed. Examples are:

Cite

CITATION STYLE

APA

Pfahringer, B. (2017). Conjunctive Normal Form. In Encyclopedia of Machine Learning and Data Mining (pp. 260–261). Springer Science+Business Media. https://doi.org/10.1007/978-1-4899-7687-1_158

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free