Basic Properties Of Boolean Algebra