. . . . "11093"^^ . . . . . "y"@en . . . . "Reed\u2013Muller expansion"@en . . . . . . . . . . . . . . . . . . . . . "In Boolean logic, a Reed\u2013Muller 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\u2013Muller or positive Davio expansion:"@en . . . . "March 2021"@en . "1121168998"^^ . . "9608295"^^ . "In Boolean logic, a Reed\u2013Muller 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\u2013Muller or positive Davio expansion:"@en . . . . .