12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems (view source)
Revision as of 11:58, 2 June 2007
, 11:58, 2 June 2007→Difference Map of Conjunction: adjust table
| width="8%" | D''J''
| width="8%" | D''J''
| width="3%" | =
| width="3%" | =
| width="22%" | ''u'' ''v'' ((d''u'')(d''v''))
| width="23%" | ''u'' ''v'' ((d''u'')(d''v''))
| width="22%" | + ''u'' (''v'')(d''u'') d''v''
| width="22%" | + ''u'' (''v'')(d''u'') d''v''
| width="22%" | + (''u'') ''v'' d''u'' (d''v'')
| width="22%" | + (''u'') ''v'' d''u'' (d''v'')