12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 01:40, 21 March 2010
, 01:40, 21 March 2010→Majority function example: renumber figures
=====Proof 1 : Storyboard=====
=====Proof 1 : Storyboard=====
{| align="center" cellpadding="8"
|
{| 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:Equational Inference QED.jpg|500px]]
| [[Image:Equational Inference QED.jpg|500px]]
|}
| (16)
|}
|}
Here's an animated recap of the graphical transformations that occur in the above proof:
Here's an animated recap of the graphical transformations that occur in the above proof:
{| align="center" cellpadding="8"
|
{| 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:Majority Function Example 2.0 Animation.gif]]
|}
| (17)
|}
|}
