| Line 23: |
Line 23: |
| | | | |
| | ===Two-Thirds Majority Function=== | | ===Two-Thirds Majority Function=== |
| − |
| |
| − | ====Proof 1 : Version 1====
| |
| | | | |
| | {| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center" | | {| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center" |
| | |- | | |- |
| − | | [[Image:Majority Function 600 x 300 Animation.gif]] | + | | [[Image:Majority Function Example 2.0 Animation.gif]] |
| | |} | | |} |
| | | | |
| − | ====Proof 1 : Version 2==== | + | ===Praeclarum Theorema : Proof by CAST=== |
| | | | |
| | {| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center" | | {| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center" |
| | |- | | |- |
| − | | [[Image:Majority Function Example 2.0 Animation.gif]] | + | | [[Image:Praeclarum Theorema CAST 2.0 Animation.gif]] |
| | |} | | |} |
| | | | |
| − | ===Praeclarum Theorema=== | + | ==Old Versions== |
| | | | |
| − | ====Proof by CAST : Version 1==== | + | ===Two-Thirds Majority Function=== |
| | | | |
| | {| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center" | | {| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center" |
| | |- | | |- |
| − | | [[Image:Praeclarum Theorema CAST Animation.gif]] | + | | [[Image:Majority Function 600 x 300 Animation.gif]] |
| | |} | | |} |
| | | | |
| − | ====Proof by CAST : Version 2==== | + | ===Praeclarum Theorema : Proof by CAST=== |
| | | | |
| | {| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center" | | {| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center" |
| | |- | | |- |
| − | | [[Image:Praeclarum Theorema CAST 2.0 Animation.gif]] | + | | [[Image:Praeclarum Theorema CAST Animation.gif]] |
| | |} | | |} |