Axiomatization of Boolean Algebras Based on Sheffer Stroke