In Boolean logic, a Reed–Muller expansion (or Davio expansion) is a decomposition of a Boolean function. For a Boolean function we call the positive and negative cofactors of with respect to , and the boolean derivation of with respect to , where denotes the XOR operator. Then we have for the Reed–Muller or positive Davio expansion: