Boolean algebra - lattice that models the classical propositional logic