MyWikiBiz

Changes

Talk:Logical graph (view source)

Revision as of 21:40, 5 December 2008

333 bytes added ,  21:40, 5 December 2008
→‎Logical Graph Sandbox: comparison
Line 222: Line 222:     
<pre>
 
<pre>
−
         p o--o q
+
         a o--o b
 
           |
 
           |
−
           o--o p
+
           o--o a
 
           |
 
           |
−
           o--o p
+
           o--o a
 
           |
 
           |
 
           @        =        @
 
           @        =        @
Line 234: Line 234:     
<pre>
 
<pre>
−
         p o--o q
+
         a o--o b
 
           |
 
           |
−
           o--o p
+
           o--o a
−
           |                  p
+
           |                  a
 
           @        =        @
 
           @        =        @
 
</pre>
 
</pre>
 +
 +
Compare with:
 +
 +
<pre>
 +
        a o b
 +
          |
 +
          o--o a
 +
          |                  a
 +
          @        =        @
 +
</pre>
 +
 +
That is:
 +
 +
<pre>
 +
      ab  a
 +
        o  o
 +
        \ /
 +
          o
 +
          |                  a
 +
          @        =        @
 +
</pre>
 +
 +
In other words, <math>(a \land b) \lor a \iff a</math>
Jon Awbrey
12,080

edits

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