ブール代数
Boolean algebra (introduction)