Changes

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)
 
|}
 
|}
  
12,080

edits