MyWikiBiz

Changes

Talk:Logical graph (view source)

Revision as of 06:44, 3 December 2008

No change in size ,  06:44, 3 December 2008
→‎Logical Equivalence Problem: sub[@/O] as root node marker
Line 86: Line 86:  
           o
 
           o
 
           |
 
           |
−
           O
+
           @
 
</pre>
 
</pre>
   Line 95: Line 95:  
<pre>
 
<pre>
 
         x y
 
         x y
−
           O
+
           @
 
</pre>
 
</pre>
   Line 104: Line 104:  
<pre>
 
<pre>
 
         x y z
 
         x y z
−
           O
+
           @
 
</pre>
 
</pre>
   Line 119: Line 119:  
           o
 
           o
 
           |
 
           |
−
           O
+
           @
 
</pre>
 
</pre>
   Line 132: Line 132:  
           o
 
           o
 
           |
 
           |
−
           O
+
           @
 
</pre>
 
</pre>
   Line 146: Line 146:  
         x o
 
         x o
 
           |
 
           |
−
           O
+
           @
 
</pre>
 
</pre>
   Line 158: Line 158:  
       x o  o y
 
       x o  o y
 
         \ /
 
         \ /
−
           O
+
           @
 
</pre>
 
</pre>
   Line 170: Line 170:  
           o              p o  o--o q
 
           o              p o  o--o q
 
           |                  \ /
 
           |                  \ /
−
           O         =        O
+
           @         =        @
    
( (p (q)) (q (p)) ) = (p ( (q) )) ((p)(q))
 
( (p (q)) (q (p)) ) = (p ( (q) )) ((p)(q))
 
</pre>
 
</pre>
Jon Awbrey
12,080

edits

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