User:Jon Awbrey/MOF

MyWikiBiz, Author Your Legacy — Tuesday May 17, 2022
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