Definition:Conjunctive Normal Form/Also known as
Jump to navigation
Jump to search
Conjunctive Normal Form: Also known as
Conjunctive normal form is often found referred to in its abbreviated form CNF.
Sources
- 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): $\S 3.7$: Decision Procedures and Normal Forms