12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday April 12, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 17:24, 21 June 2009
, 17:24, 21 June 2009→Note 6: convert graphics
Line 452:
Line 452:
<pre>
−o-------------------------------------------------o
−| |
−| dp dq |
−| o---o o---o |
−| \ | | / |
−| \ | | / |
−| \| |/ |
−| @=@ |
−| |
−o-------------------------------------------------o
−| Ef|pq = (dp) (dq) |
−o-------------------------------------------------o
−</pre>
<pre>
−o-------------------------------------------------o
−| |
−| o |
−| dp | dq |
−| o---o o---o |
−| \ | | / |
−| \ | | / |
−| \| |/ |
−| @=@ |
−| |
−o-------------------------------------------------o
−| Ef|p(q) = (dp) dq |
−o-------------------------------------------------o
−</pre>
<pre>
−o-------------------------------------------------o
−| |
−| o |
−| | dp dq |
−| o---o o---o |
−| \ | | / |
−| \ | | / |
−| \| |/ |
−| @=@ |
−| |
−o-------------------------------------------------o
−| Ef|(p)q = dp (dq) |
−o-------------------------------------------------o
−</pre>
<pre>
−o-------------------------------------------------o
−| |
−| o o |
−| | dp | dq |
−| o---o o---o |
−| \ | | / |
−| \ | | / |
−| \| |/ |
−| @=@ |
−| |
−o-------------------------------------------------o
−| Ef|(p)(q) = dp dq |
−o-------------------------------------------------o
−</pre>
| [[Image:Cactus Graph Ef = (P,dP)(Q,dQ).jpg|500px]]
| [[Image:Cactus Graph Ef = (P,dP)(Q,dQ).jpg|500px]]
|-
|-
−|
+| [[Image:Cactus Graph Ef@PQ = (dP)(dQ).jpg|500px]]
−|-
|-
−|
+| [[Image:Cactus Graph Ef@P(Q) = (dP)dQ.jpg|500px]]
−|-
|-
−|
+| [[Image:Cactus Graph Ef@(P)Q = dP(dQ).jpg|500px]]
−|-
|-
−|
+| [[Image:Cactus Graph Ef@(P)(Q) = dP dQ.jpg|500px]]
−|}
|}
