Showing revision 3 Difference (from revision 3 to revision 3)
(minor diff) (The revisions are identical or unavailable.)
A boolean algebra is a lattice (see LatticEs) which satisfies the following properties:
There exists some element 0, such that av0=a for all a (bounded below)
There exists some element 1, such that a^1=a for all a (bounded above)
For all a,b,c, (avb)^c=(a^c)v(b^c) (distributive law)
For all a, there exists an e