User:Jon Awbrey/MOF

MyWikiBiz, Author Your Legacy — Thursday April 18, 2024
< 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)
Jump to navigationJump to search

Majority Function Example 1.0

Proof 1 : Storyboard

Majority Function Example Proof 1 Title.jpg
Majority Function Example Proof 1 Frame 1.jpg
Equational Inference Reflect ab, ac, bc.jpg
Majority Function Example Proof 1 Frame 2.jpg
Equational Inference Distribute (abc).jpg
Majority Function Example Proof 1 Frame 3.jpg
Equational Inference Collect ab, ac, bc.jpg
Majority Function Example Proof 1 Frame 4.jpg
Equational Inference Quit (a), (b), (c).jpg
Majority Function Example Proof 1 Frame 5.jpg
Equational Inference Cancel (( )).jpg
Majority Function Example Proof 1 Frame 6.jpg
Equational Inference Weed ab, ac, bc.jpg
Majority Function Example Proof 1 Frame 7.jpg
Equational Inference Delete a, b, c.jpg
Majority Function Example Proof 1 Frame 8.jpg
Equational Inference Cancel (( )).jpg
Majority Function Example Proof 1 Frame 9.jpg
Equational Inference QED.jpg

Proof 1 : Animation

Majority Function 600 x 300 Animation.gif

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

Majority Function Example Proof 1 Title.jpg
Majority Function Example 2.0 Proof 1 Frame 1.jpg
Equational Inference Reflect ab, ac, bc.jpg
Majority Function Example 2.0 Proof 1 Frame 2.jpg
Equational Inference Distribute (abc).jpg
Majority Function Example 2.0 Proof 1 Frame 3.jpg
Equational Inference Collect ab, ac, bc.jpg
Majority Function Example 2.0 Proof 1 Frame 4.jpg
Equational Inference Quit (a), (b), (c).jpg
Majority Function Example 2.0 Proof 1 Frame 5.jpg
Equational Inference Cancel (( )).jpg
Majority Function Example 2.0 Proof 1 Frame 6.jpg
Equational Inference Weed ab, ac, bc.jpg
Majority Function Example 2.0 Proof 1 Frame 7.jpg
Equational Inference Delete a, b, c.jpg
Majority Function Example 2.0 Proof 1 Frame 8.jpg
Equational Inference Cancel (( )).jpg
Majority Function Example 2.0 Proof 1 Frame 9.jpg
Equational Inference QED.jpg

Proof 1 : Animation

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

Majority Function Example 2.0 Animation.gif