Changes

Line 1,237: Line 1,237:  
If you're like me, you'd rather see it in pictures:
 
If you're like me, you'd rather see it in pictures:
   −
{| align="center" cellpadding="8" style="text-align:center; width:90%"
+
{| align="center" cellpadding="8"
|
+
| [[Image:Logical Graph (( (P (Q)) (P (R)) , (P (Q R)) )).jpg|500px]]
<pre>
  −
o-----------------------------------------------------------o
  −
| Equation E_1, Written as an Equation in Cactus Language  |
  −
o-----------------------------------------------------------o
  −
|                                                          |
  −
|                    q o  o r  q o r                      |
  −
|                      |  |      |                        |
  −
|                    p o  o p  p o                        |
  −
|                      \ /        |                        |
  −
|                        o---------o                        |
  −
|                        \      /                        |
  −
|                          \    /                          |
  −
|                          \  /                          |
  −
|                            \ /                            |
  −
|                            o                            |
  −
|                            |                            |
  −
|                            |                            |
  −
|                            |                            |
  −
|                            |                            |
  −
|                            @                            |
  −
|                                                          |
  −
|      (( (p (q)) (p (r))   ,   ((q r)) ))           |
  −
|                                                          |
  −
|         [[p=>q] & [p=>r]]  <=>  [p=>[q&r]]                |
  −
|                                                          |
  −
o-----------------------------------------------------------o
  −
</pre>
   
| (39)
 
| (39)
 
|}
 
|}
12,080

edits