Notice Certain ÒAdjacenciesÓ
v
w x f
0 0
0 0
0 0 1 0
0 1
0 0
0 1 1 1
1 0 0 0
1 0
1 1
1 1 0 1
1 1 1 1
3-argument majority function
simplified
majority(v, w, x) = wx + vwÕx + vwxÕ
These
rows are ÒadjacentÓ: their
variable combinations differ
in only 1 bit
vÕwx
vwx
= wx
unsimplified
majority(v, w, x) = vÕwx + vwÕx + vwxÕ + vwx
