(en.wikipedia.org) Boolean algebra (structure) - Wikipedia

ROAM_REFS: https://en.wikipedia.org/wiki/Boolean_algebra_(structure)

In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice. This type of algebraic structure captures essential properties of both set operations and logic operations. A Boolean algebra can be seen as a generalization of a power set algebra or a field of sets, or its elements can be viewed as generalized truth values. It is also a special case of a De Morgan algebra and a Kleene algebra (with involution).

Every Boolean algebra gives rise to a Boolean ring, and vice versa, with ring multiplication corresponding to conjunction or meet ∧, and ring addition to exclusive disjunction or symmetric difference (not disjunction ∨). However, the theory of Boolean rings has an inherent asymmetry between the two operators, while the axioms and theorems of Boolean algebra express the symmetry of the theory described by the duality principle.

Local Graph

org-roam 5aa6488e-30ea-4282-b2fa-3edee4bfe02d (en.wikipedia.org) Boolean algebra (s... //en.wikipedia.org/wiki/Abstract_algebra https://en.wikipedia.org/wiki/Abstract_algebra 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Abstract_algebra //en.wikipedia.org/wiki/Complemented_lattice https://en.wikipedia.org/wiki/Complemented_lattice 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Complemented_lattice //en.wikipedia.org/wiki/Distributive_lattice https://en.wikipedia.org/wiki/Distributive_lattice 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Distributive_lattice //en.wikipedia.org/wiki/Algebraic_structure https://en.wikipedia.org/wiki/Algebraic_structure 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Algebraic_structure //en.wikipedia.org/wiki/Set_(mathematics) https://en.wikipedia.org/wiki/Set_(mathematics) 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Set_(mathematics) //en.wikipedia.org/wiki/Logic https://en.wikipedia.org/wiki/Logic 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Logic //en.wikipedia.org/wiki/Power_set https://en.wikipedia.org/wiki/Power_set 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Power_set //en.wikipedia.org/wiki/Field_of_sets https://en.wikipedia.org/wiki/Field_of_sets 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Field_of_sets //en.wikipedia.org/wiki/Truth_value https://en.wikipedia.org/wiki/Truth_value 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Truth_value //en.wikipedia.org/wiki/De_Morgan_algebra https://en.wikipedia.org/wiki/De_Morgan_algebra 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/De_Morgan_algebra //en.wikipedia.org/wiki/Kleene_algebra_(with_involution) https://en.wikipedia.org/wiki/Kleene_algebra_(with_involution) 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Kleene_algebra_(with_involution) //en.wikipedia.org/wiki/Boolean_algebra_(structure)#Boolean_rings https://en.wikipedia.org/wiki/Boolean_algebra_(structure)#Boolean_rings 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Boolean_algebra_(structure)#Boolean_rings //en.wikipedia.org/wiki/Boolean_ring https://en.wikipedia.org/wiki/Boolean_ring 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Boolean_ring //en.wikipedia.org/wiki/Ring_(mathematics) https://en.wikipedia.org/wiki/Ring_(mathematics) 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Ring_(mathematics) //en.wikipedia.org/wiki/Logical_conjunction https://en.wikipedia.org/wiki/Logical_conjunction 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Logical_conjunction //en.wikipedia.org/wiki/Meet_(mathematics) https://en.wikipedia.org/wiki/Meet_(mathematics) 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Meet_(mathematics) //en.wikipedia.org/wiki/Exclusive_or https://en.wikipedia.org/wiki/Exclusive_or 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Exclusive_or //en.wikipedia.org/wiki/Symmetric_difference https://en.wikipedia.org/wiki/Symmetric_difference 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Symmetric_difference //en.wikipedia.org/wiki/Logical_disjunction https://en.wikipedia.org/wiki/Logical_disjunction 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Logical_disjunction //en.wikipedia.org/wiki/Axiom https://en.wikipedia.org/wiki/Axiom 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Axiom //en.wikipedia.org/wiki/Duality_principle_(Boolean_algebra) https://en.wikipedia.org/wiki/Duality_principle_(Boolean_algebra) 5aa6488e-30ea-4282-b2fa-3edee4bfe02d->//en.wikipedia.org/wiki/Duality_principle_(Boolean_algebra)