Changes

Logical graph (view source)

Revision as of 17:30, 29 August 2008

1,196 bytes removed , 17:30, 29 August 2008

→‎C<sub>3</sub>. Dominant form theorem: ASCII → JPEG

Line 311: Line 311:

Here is a proof of the Dominant Form Theorem.

−

~~<pre>~~

+

{| align="center" border="0" cellpadding="10" cellspacing="0"

−

~~o-----------------------------------------------------------o~~

+

| [[Image:Logical_Graph_Figure_30.jpg|500px]] || (30)

−

~~| C_3. Dominant Form Theorem. Proof. |~~

+

|}

−

~~o-----------------------------------------------------------o~~

−

~~| |~~

−

~~| o |~~

−

~~| | |~~

−

~~| a @ |~~

−

| |

−

~~o======~~===~~====================< C2. Regenerate~~ "a" ~~>========o~~

−

~~| |~~

−

~~| a o |~~

−

~~| | |~~

−

~~| a @ |~~

−

~~| |~~

−

o=~~============================< J1. Delete~~ "a" ~~>============o~~

−

| |

−

~~| o |~~

−

| | |

−

| ~~@ |~~

−

~~| |~~

−

~~o=============================< QED >=======================o~~

−

~~</pre>~~

===Exemplary proofs===

Jon Awbrey

12,089

edits