ブール代数
Two-element Boolean algebra