12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 13:56, 14 March 2010
, 13:56, 14 March 2010→Majority function
|-
|-
| [[Image:Equational Inference QED.jpg|500px]]
| [[Image:Equational Inference QED.jpg|500px]]
|}
<br>
Here's a rough animation of the graphical transformations in the above proof:
{| 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]]
|}
|}