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.