ブール代数
Normal form (Boolean algebra)