Reed–Muller expansion

In Boolean logic, a Reed–Muller expansion (or Davio expansion) is a decomposition of a Boolean function.

For a Boolean function ${\displaystyle f(x_{1},\ldots ,x_{n})}$ we set with respect to ${\displaystyle x_{i}}$:

as the positive and negative cofactors of ${\displaystyle f}$, and the boolean derivation of ${\displaystyle f}$, where ${\displaystyle {\oplus }}$ denotes the XOR operator.

...
Wikipedia