Connexions

Sections
You are here: Home » Content » Propositional Logic: normal forms

About: Propositional Logic: normal forms

Module by: Ian Barland, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen

View content

Metadata

Name: Propositional Logic: normal forms
ID: m12075
Language: English (en)
Summary: Representing Boolean functions in CNF and DNF.
Subject: Mathematics and Statistics
Keywords:
Document Type: -//CNX//DTD CNXML 0.5 plus MathML//EN
License: Creative Commons Attribution License (CC-BY 1.0)
Authors: Ian Barland (ibarland@radford.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu)
Copyright Holders: Ian Barland (ibarland@radford.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu)
Maintainers: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu)
Version: 1.9 (history)
Created: Jul 1, 2004 12:39 pm GMT-5
Revised: Feb 7, 2008 9:10 am US/Central

Version History

Version: 1.9 Feb 7, 2008 9:10 am US/Central by John Greiner
Changes: 
Proper MathML
Version: 1.8 Jan 16, 2006 3:32 pm US/Central by John Greiner
Changes: 
Added useful IDs.
Version: 1.7 Jan 16, 2006 9:04 am US/Central by John Greiner
Changes: 
Modified introductory examples.
Version: 1.6 Mar 10, 2005 3:39 pm US/Central by Ian Barland
Changes: 
Updated roles, metadata.
Version: 1.5 Jan 21, 2005 5:45 pm US/Central by Ian Barland
Changes: 
Fixed a bug ((a^b)->c fixed to be c->(a^b) in first example.)
Version: 1.4 Aug 12, 2004 5:35 pm GMT-5 by Ian Barland
Changes: 
added jack as maintainer
Version: 1.3 Aug 3, 2004 11:17 am GMT-5 by Sarah Trowbridge
Changes: 
new name
Version: 1.2 Aug 2, 2004 11:22 am GMT-5 by Sarah Trowbridge
Changes: 
reorganization
Version: 1.1 Jul 1, 2004 12:39 pm GMT-5 by Sarah Trowbridge
Changes: 
created

How to Reuse and Attribute This Content

If you reuse this work, in order to comply with the attribution requirements of the license (CC-BY 1.0), you must include the

  • authors' names
  • title of the work
  • and the Connexions URL where the work can be found

If you derive a copy of this content using a Connexions account and publish your version, proper attribution of the original work will be automatically done for you.

How to Cite and Attribute This Content

The following citation styles comply with the attribution requirements for the license (CC-BY 1.0) of this work:

American Chemical Society (ACS) Style Guide:

Barland, I.; Kolaitis, P.; Vardi, M.; Felleisen, M. Propositional Logic: normal forms, Connexions Web site. http://cnx.org/content/m12075/1.9/, Feb 7, 2008.

American Medical Assocation (AMA) Manual of Style:

Barland I, Kolaitis P, Vardi M, Felleisen M. Propositional Logic: normal forms [Connexions Web site]. February 7, 2008. Available at: http://cnx.org/content/m12075/1.9/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Kolaitis, P., Vardi, M., & Felleisen, M. (2008, February 7). Propositional Logic: normal forms. Retrieved from the Connexions Web site: http://cnx.org/content/m12075/1.9/

Chicago Manual of Style (Bibliography):

Barland, Ian, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Propositional Logic: normal forms." Connexions. February 7, 2008. http://cnx.org/content/m12075/1.9/.

Chicago Manual of Style (Note):

Ian Barland and others, "Propositional Logic: normal forms," Connexions, February 7, 2008, http://cnx.org/content/m12075/1.9/.

Chicago Manual of Style (Reference, in Author-Date style):

Barland, I., Kolaitis, P., Vardi, M., & Felleisen, M. 2008. Propositional Logic: normal forms. Connexions, February 7, 2008. http://cnx.org/content/m12075/1.9/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Propositional Logic: normal forms. Connexions. 7 Feb. 2008 <http://cnx.org/content/m12075/1.9/>.