BooleanAlgebra

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