Algebraic normal form (Boolean algebra)