View source for Category:Boolean algebra

{{HandTopic|Computing}}
Here is a list of articles in the [[Boolean algebra|Boolean algebra]] category of the [[HandWiki:Computing|Computing]] portal that unifies foundations of mathematics and computations using computers. [[Boolean algebra (structure)|Boolean algebra]] can refer to:
* A calculus for the manipulation of truth values (T and F).
* A complemented distributive lattice. These can be used to model the operations on truth values.
Boolean algebra is intimately related to propositional logic (sentential logic) as well.

== See also ==
* [[:Category:Propositional calculus]]

[[Category:Binary arithmetic]]
[[Category:Mathematical logic]]
[[Category:Lattice theory]]
[[Category:Programming constructs]]