User:Jon Awbrey/MOF

< User:Jon Awbrey
Revision as of 02:30, 18 March 2010 by Jon Awbrey (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Majority Function Example 1.0

Proof 1 : Storyboard

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Proof 1 : Animation

 

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 : Storyboard

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Proof 1 : Animation

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