unsimplified majority
majority(v, w, x) = vÕwx + vwÕx + vwxÕ + vwx