1.5 Boolean algebra