Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

ONT Re: Differential Logic




o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

DLOG.  Note D61

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Summary of Conjunction

To establish a convenient reference point for further discussion,
Table 49 summarizes the operator actions that have been computed
for the form of conjunction, as exemplified by the proposition J.

Table 49.  Computation Summary for J
o-------------------------------------------------------------------------------o
|                                                                               |
| !e!J  =  uv .     1       + u(v) .    0    + (u)v .   0     + (u)(v) .   0    |
|                                                                               |
|   EJ  =  uv .  (du)(dv)   + u(v) . (du)dv  + (u)v . du(dv)  + (u)(v) . du dv  |
|                                                                               |
|   DJ  =  uv . ((du)(dv))  + u(v) . (du)dv  + (u)v . du(dv)  + (u)(v) . du dv  |
|                                                                               |
|   dj  =  uv .  (du, dv)   + u(v) .     dv  + (u)v . du      + (u)(v) .   0    |
|                                                                               |
|   rJ  =  uv .   du  dv    + u(v) .  du dv  + (u)v . du dv   + (u)(v) . du dv  |
|                                                                               |
o-------------------------------------------------------------------------------o

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o