Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
List of Boolean algebra topics
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
{{Short description|none}} This is a list of topics around '''Boolean algebra''' and '''propositional logic'''. == Articles with a wide scope and introductions == * [[Algebra of sets]] [[Talk:Algebra of sets| ]] * [[Boolean algebra (structure)]] [[Talk:Boolean algebra (structure)| ]] * [[Boolean algebra]] [[Talk:Boolean algebra (logic)| ]] * [[Field of sets]] [[Talk:Field of sets| ]] * [[Logical connective]] [[Talk:logical connective| ]] * [[Propositional calculus]] [[Talk:propositional calculus| ]] ==Boolean functions and connectives== * [[Ampheck]] [[Talk:Ampheck| ]] * [[Analysis of Boolean functions]] [[Talk:Analysis of Boolean functions| ]] * [[Balanced Boolean function]] [[Talk:Balanced Boolean function| ]] * [[Bent function]] [[Talk:Bent function| ]] * [[Boolean algebras canonically defined]] [[Talk:Boolean algebras canonically defined| ]] * [[Boolean function]] [[Talk:Boolean function| ]] * [[Boolean matrix]] [[Talk:Boolean matrix| ]] * [[Boolean-valued function]] [[Talk:Boolean-valued function| ]] * [[Conditioned disjunction]] [[Talk:Conditioned disjunction| ]] * [[Evasive Boolean function]] [[Talk:Evasive Boolean function| ]] * [[Exclusive or]] [[Talk:Exclusive or| ]] * [[Functional completeness]] [[Talk:Functional completeness| ]] * [[Logical biconditional]] [[Talk:Logical biconditional| ]] * [[Logical conjunction]] [[Talk:Logical conjunction| ]] * [[Logical disjunction]] [[Talk:Logical disjunction| ]] * [[Logical equality]] [[Talk:Logical equality| ]] * [[Logical implication]] [[Talk:Logical implication| ]] * [[Logical negation]] [[Talk:Logical negation| ]] * [[Logical NOR]] [[Talk:Logical NOR| ]] * [[Lupanov representation]] [[Talk:Lupanov representation| ]] * [[Majority function]] [[Talk:Majority function| ]] * [[Material conditional]] [[Talk:Material conditional| ]] * [[Minimal axioms for Boolean algebra]] * [[Peirce arrow]] [[Talk:Peirce arrow| ]] * [[Read-once function]] [[Talk:Read-once function| ]] * [[Sheffer stroke]] [[Talk:Sheffer stroke| ]] * [[Sole sufficient operator]] [[Talk:Sole sufficient operator| ]] * [[Symmetric Boolean function]] [[Talk:Symmetric Boolean function| ]] * [[Symmetric difference]] [[Talk:Symmetric difference| ]] * [[Zhegalkin polynomial]] [[Talk:Zhegalkin polynomial| ]] == Examples of Boolean algebras == * [[Boolean domain]] [[Talk:Boolean domain| ]] * [[Complete Boolean algebra]] [[Talk:Complete Boolean algebra| ]] * [[Interior algebra]] [[Talk:interior algebra| ]] * [[Two-element Boolean algebra]] [[Talk:Two-element Boolean algebra| ]] == Extensions of Boolean algebras == * [[Derivative algebra (abstract algebra)]] [[Talk:Derivative algebra (abstract algebra)| ]] * [[Free Boolean algebra]] [[Talk:free Boolean algebra| ]] * [[Monadic Boolean algebra]] [[Talk:monadic Boolean algebra| ]] == Generalizations of Boolean algebras == * [[De Morgan algebra]] [[Talk:De Morgan algebra| ]] * [[First-order logic]] [[Talk:First-order logic| ]] * [[Heyting algebra]] [[Talk:Heyting algebra| ]] * [[Lindenbaum–Tarski algebra]] [[Talk:Lindenbaum–Tarski algebra| ]] * [[Skew lattice#Skew Boolean algebras|Skew Boolean algebra]] [[Talk:Skew lattice| ]] == Syntax == * [[Algebraic normal form]] [[Talk:Algebraic normal form| ]] * [[Boolean conjunctive query]] [[Talk:Boolean conjunctive query| ]] * [[Canonical form (Boolean algebra)]] [[Talk:normal form (Boolean algebra)| ]] * [[Conjunctive normal form]] [[Talk:Conjunctive normal form| ]] * [[Disjunctive normal form]] [[Talk:Disjunctive normal form| ]] * [[Formal system]] [[Talk:Formal system| ]] == Technical applications == * [[And-inverter graph]] [[Talk:And-inverter graph| ]] * [[Logic gate]] [[Talk:logic gate| ]] * [[Boolean analysis]] [[Talk:Boolean analysis| ]] == Theorems and specific laws == * [[Boolean prime ideal theorem]] [[Talk:Boolean prime ideal theorem| ]] * [[Compactness theorem]] [[Talk:compactness theorem| ]] * [[Consensus theorem]] [[Talk:Consensus theorem| ]] * [[De Morgan's laws]] [[Talk:de Morgan's laws| ]] * [[Duality (order theory)]] [[Talk:duality (order theory)| ]] * [[Laws of classical logic]] [[Talk:Laws of classical logic| ]] * [[Peirce's law]] [[Talk:Peirce's law| ]] * [[Stone's representation theorem for Boolean algebras]] [[Talk:Stone's representation theorem for Boolean algebras| ]] == People == * [[George Boole|Boole, George]] [[Talk:George Boole| ]] * [[Augustus De Morgan|De Morgan, Augustus]] [[Talk:Augustus De Morgan| ]] * [[William Stanley Jevons|Jevons, William Stanley]] [[Talk:William Stanley Jevons| ]] * [[Charles Sanders Peirce|Peirce, Charles Sanders]] [[Talk:Charles Peirce| ]] * [[Marshall Harvey Stone|Stone, Marshall Harvey]] [[Talk:Marshall Harvey Stone| ]] * [[John Venn|Venn, John]] [[Talk:John Venn| ]] * [[Ivan Ivanovich Zhegalkin|Zhegalkin, Ivan Ivanovich]] [[Talk:Ivan Ivanovich Zhegalkin| ]] == Philosophy == * [[Boole's syllogistic]] [[Talk:Boole's syllogistic| ]] * [[Implicant|Boolean implicant]] [[Talk:Implicant| ]] * [[Entitative graph]] [[Talk:Entitative graph| ]] * [[Existential graph]] [[Talk:Existential graph| ]] * ''[[Laws of Form]]'' [[Talk:Laws of Form| ]] * [[Logical graph]] [[Talk:Logical graph| ]] == Visualization == * [[Truth table]] [[Talk:truth table| ]] * [[Karnaugh map]] [[Talk:Karnaugh map| ]] * [[Venn diagram]] [[Talk:Venn diagram| ]] ==Unclassified== * [[Boolean function]] [[Talk:Boolean function| ]] * [[Boolean-valued function]] [[Talk:Boolean-valued function| ]] * [[Boolean-valued model]] [[Talk:Boolean-valued model| ]] * [[Boolean satisfiability problem]] [[Talk:Boolean satisfiability problem| ]] * [[Boolean differential calculus]] * [[Indicator function]] [[Talk:Indicator function| ]] (also called the ''characteristic function'', but that term is used in probability theory for a different concept) * [[Minilog|Espresso heuristic logic minimizer]] * [[Logical matrix]] [[Talk:Logical matrix| ]] * [[Logical value]] [[Talk:Logical value| ]] * [[Stone duality]] [[Talk:Stone duality| ]] * [[Stone's representation theorem for Boolean algebras|Stone space]] * [[Topological Boolean algebra (disambiguation)|Topological Boolean algebra]] [[Talk:topological Boolean algebra| ]] {{logic}} {{Order theory}} [[Category:Mathematics-related lists|Boolean algebra]] [[Category:Boolean algebra| ]] [[Category:Outlines of mathematics and logic|Boolean algebra]] [[Category:Outlines|Boolean algebra]]
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)
Pages transcluded onto the current version of this page
(
help
)
:
Template:Logic
(
edit
)
Template:Order theory
(
edit
)
Template:Short description
(
edit
)