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