Changes

MyWikiBiz, Author Your Legacy — Sunday November 24, 2024
Jump to navigationJump to search

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

Revision as of 13:00, 22 March 2010

118 bytes added ,  13:00, 22 March 2010
→‎Praeclarum theorema : Proof by CAST: introduce animation & clarify awkward phrasing
Line 609: Line 609:  
| (25)
 
| (25)
 
|}
 
|}
 +
 +
The following Figure provides an animated recap of the graphical transformations that occur in the above proof:
    
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
Line 619: Line 621:  
|}
 
|}
   −
What we have harvested is the succulent equivalent of a ''disjunctive normal form'' (DNF) for the proposition with which we started.
+
The logical graph that concludes this proof is a variant type of ''disjunctive normal form'' (DNF) for the logical graph that led it off.
    
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
Jon Awbrey
12,080

edits

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

Navigation menu