# User:Jon Awbrey/MOF

## Majority Function Example 2.0

Consider the following equation in boolean algebra, posted as a problem for proof at MathOverFlow.

 $$\begin{matrix} a b \bar{c} + a \bar{b} c + \bar{a} b c + a b c \\[6pt] \iff \\[6pt] a b + a c + b c \end{matrix}$$

### Proof 1 : Animation

Here's an animated recap of the graphical transformations that occur in the above proof: