ブール代数
Canonical form (Boolean algebra)