User:Hugo Herbelin/Sandbox BA2
Boolean algebra is a mathematical term used in different contexts.
In abstract algebra, mathematical logic, set theory, statistics
- a Boolean algebra is an algebraic structure that abstractly characterizes the structure of logical operations, basic set-theoretic operations, etc.
- Boolean algebra studies how to reason and compute in Boolean algebra structures (see also Boolean algebras canonically defined for advanced properties).
In the context of computer science, electronics, or propositional logic
- Boolean algebra, or Boolean logic, is specifically about reasoning and computing in the Boolean calculus made of truth values and operations on them (see also Boolean logic for an eclectic presentation).
{{disambig}}