positive davio expansion
1Reed-Muller expansion — In logic synthesis Reed Muller (or Davio) expansion is a decomposition of a boolean function.For a boolean function f(x 1,...,x n) we set with respect to x i::egin{align}f {x i}(x) = f(x 1,...,x {i 1},1,x {i+1},...,x n) [3pt] f {overline{x i(x) …
