Editing Disjunctive normal form (section)

==References==
{{sfn whitelist |CITEREFSobolev2020}}
*{{cite book|last1=Arora | first1=Sanjeev |author1-link=Sanjeev Arora|last2=Barak|first2= Boaz |author2-link=Boaz Barak| title=Computational Complexity: A Modern Approach | publisher=[[Cambridge University Press]]|date=20 April 2009|pages=579|isbn=9780521424264|doi=10.1017/CBO9780511804090}}
*{{cite book|last1=Davey | first1=B.A.|last2=Priestley |first2= H.A. | title=Introduction to Lattices and Order |title-link= Introduction to Lattices and Order | publisher=Cambridge University Press | series=Cambridge Mathematical Textbooks | year=1990 }}
*{{cite book | isbn=0-444-88074-7 | editor-first=Jan |editor-last= Van Leeuwen | editor-link=Jan van Leeuwen | title=Formal Models and Semantics | publisher=[[Elsevier]] | series=Handbook of Theoretical Computer Science | volume=B | year=1990 | first1=Nachum |last1=Dershowitz |author1-link=Nachum Dershowitz |first2= Jean-Pierre |last2=Jouannaud |author2-link= Jean-Pierre Jouannaud | contribution=Rewrite Systems | pages=243&ndash;320 }}
*{{cite book|first1=David |last1=Gries|first2=Fred B. |last2=Schneider|title=A Logical Approach to Discrete Math|url=https://books.google.com/books?id=ZWTDQ6H6gsUC&q=%22disjunctive+normal+form%22&pg=PA67|date=22 October 1993|publisher=Springer Science & Business Media|isbn=978-0-387-94115-8}}
*{{cite book|last1= Hilbert|first1=David|author1-link=David Hilbert|last2= Ackermann|first2=Wilhelm |author2-link=Wilhelm Ackermann|title=Principles of Mathematical Logic|url=https://books.google.com/books?id=45ZGMjV9vfcC&q=%22disjunctive+normal+form%22|year=1999|publisher=American Mathematical Soc.|isbn=978-0-8218-2024-7}}
*{{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=%22disjunctive+normal+form%22|date=11 October 2005|orig-date=1997|publisher=Routledge|isbn=978-1-134-78550-6}}
*{{Cite journal|last=Post|first=Emil|author-link=Emil Post|title=Introduction to a General Theory of Elementary Propositions|date=July 1921|volume=43|issue=3|pages= 163–185| journal=[[American Journal of Mathematics]]|doi=10.2307/2370324|jstor=2370324}}
*{{Cite book|last=Smullyan|first=Raymond M.|author-link=Raymond Smullyan |title=First-Order Logic|year=1968|edition=1st edition, Second Printing 1971 |publisher=[[Springer Science+Business Media|Springer-Verlag]]|pages=160|location=New York Heidelberg Berlin|doi=10.1007/978-3-642-86718-7|isbn= 978-3-642-86718-7|series= Ergebnisse der Mathematik und ihrer Grenzgebiete|volume=43}}
* {{SpringerEOM|title=Disjunctive normal form|author-last1=Sobolev|author-first1=S.K.|oldid=54535|date=2020}}
*{{cite book|first=J. Eldon |last=Whitesitt|title=Boolean Algebra and Its Applications|url=https://books.google.com/books?id=20Un1T78GlMC&q=%22disjunctive+normal+form%22|date=24 May 2012|orig-year=1961|publisher=Courier Corporation|isbn=978-0-486-15816-7}}

{{Normal forms in logic}}

[[Category:Normal forms (logic)]]
[[Category:Knowledge compilation]]