ブール代数
Elementary Boolean algebra