Boolean algebra
Normal form (Boolean algebra)