Algebraic normal form
Algebraic normal form (ANF) is a representation of functions in boolean algebra. Formulas written in ANF are also known as ring sum normal form (RSNF or RNF), Zhegalkin polynomials (Russian: полиномы Жегалкина), or Positive Polarity (or parity) Reed–Muller expansions (PPRM).