3.3.2 Boolean algebra