Zaslat SMS: Lattices Theory and Boolean Algebra