12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 14:34, 2 July 2009
, 14:34, 2 July 2009→Cactus Language for Propositional Logic: reformat arrays
|
|
<math>\begin{matrix}
<math>\begin{matrix}
a'b~c~ & \lor
\tilde{a} ~ b ~ c & \lor
\\
\\
a~b'c~ & \lor
a ~ \tilde{b} ~ c & \lor
\\
\\
a~b~c' &
a ~ b ~ \tilde{c} &
\end{matrix}</math>
\end{matrix}</math>
|-
|-
|
|
<math>\begin{matrix}
<math>\begin{matrix}
a~b'c' & \lor
a ~ \tilde{b} ~ \tilde{c} & \lor
\\
\\
a'b~c' & \lor
\tilde{a} ~ b ~ \tilde{c} & \lor
\\
\\
a'b'c~ &
\tilde{a} ~ \tilde{b} ~ c &
\end{matrix}</math>
\end{matrix}</math>
|-
|-
<br>
<br>
<p><math>\begin{matrix}
<p><math>\begin{matrix}
a~b~c~ & \lor
a ~ b ~ c & \lor
\\
\\
a~b'c' & \lor
a ~ \tilde{b} ~ \tilde{c} & \lor
\\
\\
a'b~c' & \lor
\tilde{a} ~ b ~ \tilde{c} & \lor
\\
\\
a'b'c~ &
\tilde{a} ~ \tilde{b} ~ c &
\end{matrix}</math></p>
\end{matrix}</math></p>
|-
|-
|
|
<math>\begin{matrix}
<math>\begin{matrix}
x'a'b'c' & \lor
\tilde{x} ~ \tilde{a} ~ \tilde{b} ~ \tilde{c} & \lor
\\
\\
x~a~b'c' & \lor
x ~ a ~ \tilde{b} ~ \tilde{c} & \lor
\\
\\
x~a'b~c' & \lor
x ~ \tilde{a} ~ b ~ \tilde{c} & \lor
\\
\\
x~a'b'c~ &
x ~ \tilde{a} ~ \tilde{b} ~ c &
\end{matrix}</math>
\end{matrix}</math>
|}
|}