4.1(a) - Boolean Algebra Intro and Axioms