About Us
Disclaimer
Contact
Write a Post
EN
|
CH
|
ES
Log in
Register
Don't have an account yet?
Register now!
Username *
Password *
"Sign in" above to accept KNOWPIA’s
Terms of Conditions
&
Privacy Policy
Forgot your password?
Fields marked with an asterisk (*) are required.
Username/Email *
Password *
Confirm Password *
Email *
Referral Code
I’ve read and accept the
Terms and Conditions
Register
BREAKING NEWS
Cloud Server Hosting For Online Businesses
Inexpensive SEO Services
Benefits of Wanting to play Free Online Slot machines
KNOWPIA
WELCOME TO KNOWPIA
KNOWPIA
HOME
KNOWPEDIA
KNOWMEDIA
Lifestyle
Money
Sports & Entertainment
Politics
Health & Fitness
Tech
Food
Other
HOW IT WORKS
List of Boolean algebra topics
Summary
This is a list of topics around
Boolean algebra
and
propositional logic
.
Articles with a wide scope and introductions
edit
Algebra of sets
Boolean algebra (structure)
Boolean algebra
Field of sets
Logical connective
Propositional calculus
Boolean functions and connectives
edit
Ampheck
Analysis of Boolean functions
Balanced Boolean function
Bent function
Boolean algebras canonically defined
Boolean function
Boolean matrix
Boolean-valued function
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
Minimal axioms for Boolean algebra
Peirce arrow
Read-once function
Sheffer stroke
Sole sufficient operator
Symmetric Boolean function
Symmetric difference
Zhegalkin polynomial
Examples of Boolean algebras
edit
Boolean domain
Complete Boolean algebra
Interior algebra
Two-element Boolean algebra
Extensions of Boolean algebras
edit
Derivative algebra (abstract algebra)
Free Boolean algebra
Monadic Boolean algebra
Generalizations of Boolean algebras
edit
De Morgan algebra
First-order logic
Heyting algebra
Lindenbaum–Tarski algebra
Skew Boolean algebra
Syntax
edit
Algebraic normal form
Boolean conjunctive query
Canonical form (Boolean algebra)
Conjunctive normal form
Disjunctive normal form
Formal system
Technical applications
edit
And-inverter graph
Logic gate
Boolean analysis
Theorems and specific laws
edit
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
People
edit
Boole, George
De Morgan, Augustus
Jevons, William Stanley
Peirce, Charles Sanders
Stone, Marshall Harvey
Venn, John
Zhegalkin, Ivan Ivanovich
Philosophy
edit
Boole's syllogistic
Boolean implicant
Entitative graph
Existential graph
Laws of Form
Logical graph
Visualization
edit
Truth table
Karnaugh map
Venn diagram
Unclassified
edit
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