Let $f, g$ be two functions from $x_1, x_2 , ..., x_n$ to $\{0,1\}$. Prove that the function $h$, defined by $h = (f\text{ XOR }g)$, maintains the following attribute: $N(h) = N(f) + N(g) - 2*k$, when $N$ is defined to be a function which operates on a function and returns the number of variable placements on the function which result in $1$. For example, if $f = x + y$, than $N(f) = 3$, since there are $3$ options to get $1$.
$k$ is defined to be the number of variable placement, $z$, which result in $1$ for both $f$ and $g$, $f(z) = 1$ and $g(z) =1$.