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