ブール代数
Boolean algebra (structure) --