---
tag: 0XADJKM699
kind: concept
name: Boolean algebra
msc: ["06E05"]
sources:
  - url: https://en.wikipedia.org/wiki/Boolean_algebra_(structure)
    locator: Definition
same_as:
  wikidata: Q4973304
  wikipedia: Boolean algebra (structure)
---

## Summary

A Boolean algebra is a structure with meet, join and complement that satisfies the laws of classical logic and of set algebra. It is the algebra of propositional logic and of digital circuits. The node [[Boolean algebra|06GKBTAA5E]] gives the precise definition.