Majority function
The majority function is a logic function from n inputs to one output, defined as follows:
If more inputs are TRUE than are FALSE, then the majority function returns TRUE.
Otherwise, the function returns FALSE.
Representing TRUE as 1 and FALSE as 0 provides this alternate definition:
/
| 1 Σ pi - 1/2 |
Majority(p1..n) = floor | - + ---------- |
| 2 n |
/
where floor(n) represents the greatest integer less than or equal to n. The "- 1/2" in the formula serves to break ties in favor of FALSE.
