2.2. Axiomatic Definition of Boolean Algebra Notes | Digital Logic BIM | TU | TABFlux