ブール代数
Boolean algebra (basic concepts)