Stav dette: Lattice Boolean Algebra