12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 04:46, 30 June 2009
, 04:46, 30 June 2009→Original Version: markup
o-------------------o
o-------------------o
</pre>
</pre>
|
| <math>a\!</math>
<math>a\!</math>
| <math>a\!</math>
|
<math>a\!</math>
|-
|-
|
|
o-------------------o
o-------------------o
</pre>
</pre>
| <math>\texttt{(} a \texttt{)}</math>
| <math>\operatorname{not}~ a</math>
|-
|
|
<math>\texttt{(} a \texttt{)}</math>
<pre>
o-------------------o
| |
| a b c |
| @ |
| |
o-------------------o
</pre>
| <math>a~b~c</math>
| <math>a ~\operatorname{and}~ b ~\operatorname{and}~ c</math>
|-
|
|
<math>\operatorname{not}~ a</math>
<pre>
o-------------------o
| |
| a b c |
| o o o |
| \|/ |
| o |
| | |
| @ |
| |
o-------------------o
</pre>
| <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math>
| <math>a ~\operatorname{or}~ b ~\operatorname{or}~ c</math>
|}
|}
<pre>
<pre>
o----o-------------------o-------------------o-------------------o
o----o-------------------o-------------------o-------------------o
| | | | |
| | | | |