Algebraic normal form

Algebraic normal form, closely related to Zhegalkin polynomial (Q4370006)

In Boolean algebra, the algebraic normal form (ANF), ring sum normal form, Zhegalkin normal form, or Reed–Muller expansion is a way of writing propositional logic formulas in one of three subforms:The entire formula is purely true or false: One or more variables are combined into a term by AND, then one or more terms are combined by XOR together into ANF. Negations are not permitted: The previous subform with a purely true term:

This keyword could refer to multiple things. Here are some suggestions: