Last updated Unknown

Status: Tags: #cards Links: Logic and Formal Reasoning

Conjunctive Normal Form

• Literal is a primitive statement or it’s negation
• Clause is a disjunction of one or more literals
• A statement is said to be a Conjunctive Normal Form (CNF) (CNF) if it is aconjunction of clauses

CNF Theorem

?

• Every statement is logically equivalent to a certain CNF

Proof

1. Express everything to negation, conjunction, disjunction
2. DeM to move all negations in y to individual primitive statements
3. Let (-) denote the updated statement. Using (-), turn it into a CNF

Examples

• Slide 6-11

Backlinks

1

list from Conjunctive Normal Form (CNF) AND !outgoing(Conjunctive Normal Form (CNF))

References:

Created:: 2021-09-23 08:56