Jump to navigation
Jump to search
## Contents

## Articles with a wide scope and introductions[edit]

## Boolean functions and connectives[edit]

## Examples of Boolean algebras[edit]

## Extensions and generalizations[edit]

## Syntax[edit]

## Technical applications[edit]

## Theorems and specific laws[edit]

## People[edit]

## Philosophy[edit]

## Visualization[edit]

## Unclassified[edit]

This is a list of topics around **Boolean algebra** and **propositional logic**.

- Algebra of sets
- Boolean algebra (structure)
- Boolean algebra
- Field of sets
- Logical connective
- Propositional calculus

- Ampheck
- Boolean algebras canonically defined
- Conditioned disjunction
- Evasive Boolean function
- Exclusive or
- Functional completeness
- Logical biconditional
- Logical conjunction
- Logical disjunction
- Logical equality
- Logical implication
- Logical negation
- Logical NOR
- Lupanov representation
- Majority function
- Material conditional
- Peirce arrow
- Sheffer stroke
- Sole sufficient operator
- Symmetric Boolean function
- Symmetric difference
- Zhegalkin polynomial

- Complete Boolean algebra
- Derivative algebra (abstract algebra)
- First-order logic
- Free Boolean algebra
- De Morgan algebra
- Heyting algebra
- Monadic Boolean algebra
- skew Boolean algebra

- Algebraic normal form
- Boolean conjunctive query
- Canonical form (Boolean algebra)
- Conjunctive normal form
- Disjunctive normal form
- Formal system

- Boolean prime ideal theorem
- Compactness theorem
- Consensus theorem
- De Morgan's laws
- Duality (order theory)
- Laws of classical logic
- Peirce's law
- Stone's representation theorem for Boolean algebras

- Boole, George
- De Morgan, Augustus
- Jevons, William Stanley
- Peirce, Charles Sanders
- Stone, Marshall Harvey
- Venn, John
- Zhegalkin, Ivan Ivanovich

- Boolean function
- Boolean-valued function
- Boolean-valued model
- Boolean satisfiability problem
- Boolean differential calculus
- Indicator function (also called the
*characteristic function*, but that term is used in probability theory for a different concept) - Espresso heuristic logic minimizer
- Logical matrix
- Logical value
- Stone duality
- Stone space
- Topological Boolean algebra

None of the audio/visual content is hosted on this site. All media is embedded from other sites such as GoogleVideo, Wikipedia, YouTube etc. Therefore, this site has no control over the copyright issues of the streaming media.

All issues concerning copyright violations should be aimed at the sites hosting the material. This site does not host any of the streaming media and the owner has not uploaded any of the material to the video hosting servers. Anyone can find the same content on Google Video or YouTube by themselves.

The owner of this site cannot know which documentaries are in public domain, which has been uploaded to e.g. YouTube by the owner and which has been uploaded without permission. The copyright owner must contact the source if he wants his material off the Internet completely.

Wikipedia content is licensed under the GFDL and (CC) license