Editing Conjunctive normal form (section)

==References==
{{refbegin}}
* {{Cite book
|last=Andrews
|first=Peter B.
|year=2013
|title=An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
|publisher=Springer
|isbn=978-9401599344
}}
*{{cite book
|last=Howson
|first=Colin
|author-link=Colin Howson
|title=Logic with trees: an introduction to symbolic logic
|url=https://books.google.com/books?id=Y4WGAgAAQBAJ&q=%22conjunctive+normal+form%22
|date=11 October 2005
|orig-date=1997
|publisher=Routledge
|isbn=978-1-134-78550-6
}}
* {{Cite conference
|last1=Jackson
|first1=Paul
|last2=Sheridan
|first2=Daniel
|url=https://homepages.inf.ed.ac.uk/pbj/papers/sat04-bc-conv.pdf
|title=Clause Form Conversions for Boolean Circuits
|editor1-last=Hoos
|editor1-first=Holger H.
|editor2-last=Mitchell
|editor2-first=David G.
|book-title=Theory and Applications of Satisfiability Testing
|conference=7th International Conference on Theory and Applications of Satisfiability Testing, SAT
|conference-url=https://link.springer.com/book/10.1007/11527695
|date=10 May 2004
|location=Vancouver, BC, Canada
|pages=183{{ndash}}198
|series=Revised Selected Papers. Lecture Notes in Computer Science
|volume=3542
|publisher=Springer 2005
|doi=10.1007/11527695_15
|isbn=978-3-540-31580-3 <!-- Print: 978-3-540-27829-0 -->
}}
* {{cite book
|last1=Kleine Büning
|first1=Hans
|last2=Lettmann
|first2=Theodor
|date=28 August 1999
|title=Propositional Logic: Deduction and Algorithms
|url=https://books.google.com/books?id=3oJE9yczr3EC&q=%22conjunctive+normal+form%22
|publisher=[[Cambridge University Press]]
|isbn=978-0-521-63017-7
}}
* {{Cite book
|editor1-last=Russel
|editor1-first=Stuart
|editor1-link=Stuart J. Russell
|editor2-last=Norvig
|editor2-first=Peter
|editor2-link=Peter Norvig
|date=2010
|orig-date=1995
|title=Artificial Intelligence : A Modern Approach
|url=https://people.engr.tamu.edu/guni/csce421/files/AI_Russell_Norvig.pdf
|edition=3rd
|publisher=Prentice Hall
|location=Upper Saddle River, NJ
|isbn=978-0-13-604259-4
|archive-url=https://web.archive.org/web/20170831090316/https://pdfs.semanticscholar.org/bef0/731f247a1d01c9e0ff52f2412007c143899d.pdf
|archive-date=31 August 2017
|url-status=live
}}
* {{Cite book
|last=Tseitin
|first=Grigori S.
|author-link=Grigori Tseitin
|year=1968
|chapter=On the Complexity of Derivation in Propositional Calculus
|chapter-url=http://www.decision-procedures.org/handouts/Tseitin70.pdf
|editor-last=Slisenko
|editor-first=A.O.
|title=Structures in Constructive Mathematics and Mathematical Logic, Part II, Seminars in Mathematics (translated from Russian)
|pages=115–125
|publisher=Steklov Mathematical Institute
}}
* {{cite book
|last=Whitesitt
|first=J. Eldon
|date=24 May 2012
|orig-year=1961
|title=Boolean Algebra and Its Applications
|url=https://books.google.com/books?id=20Un1T78GlMC&q=%22conjunctive+normal+form%22
|publisher=Courier Corporation
|isbn=978-0-486-15816-7
}}
{{refend}}