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

Articles with a wide scope and introductions

Boolean functions and connectives

Examples of Boolean algebras

Extensions of Boolean algebras

Generalizations of Boolean algebras

  • De Morgan algebra
  • First-order logic
  • Heyting algebra
  • Lindenbaum–Tarski algebra
  • Skew Boolean algebra

Syntax

Technical applications

  • And-inverter graph
  • Logic gate
  • Boolean analysis

Theorems and specific laws

People

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

Philosophy

Visualization

Unclassified

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.