Boolean algebra (introduction)