Boolean algebra (basic concepts)