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