Elementary Boolean algebra