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