Boolean algebra (source code)

= Boolean algebra
{wiki}

A Boolean algebra is a bounded <distributive lattice> in which every element has a complement. Its meet, join, and complement abstract conjunction, disjunction, and negation.