MyWikiBiz

Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 01:40, 21 March 2010

92 bytes added ,  01:40, 21 March 2010
→‎Majority function example: renumber figures
Line 208: Line 208:  
=====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"
 
|-
 
|-
Line 247: Line 249:  
|-
 
|-
 
| [[Image:Equational Inference QED.jpg|500px]]
 
| [[Image:Equational Inference QED.jpg|500px]]
 +
|}
 +
| (16)
 
|}
 
|}
   Line 253: Line 257:  
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)
 
|}
 
|}
  
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/114049"