3.6.5.1 Boolean Algebra