12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems (view source)
Revision as of 14:36, 28 August 2007
, 14:36, 28 August 2007→Symbol Sandbox
* LaTeX : <math>< ></math> <math>< >\!</math>
* LaTeX : <math>< ></math> <math>< >\!</math>
: <math>\begin{matrix}
<br>
:<math>\begin{matrix}
(\ ) & = & 0 & = & \mbox{false} \\
(\ ) & = & 0 & = & \mbox{false} \\
(x) & = & \tilde{x} & = & x' \\
(x) & = & \tilde{x} & = & x' \\
(x, y) & = & \tilde{x}y \lor x\tilde{y} & = & x'y \lor xy' \\
(x, y) & = & \tilde{x}y \lor x\tilde{y} & = & x'y \lor xy' \\
(x, y, z) & = & \tilde{x}yz \lor x\tilde{y}z \lor xy\tilde{z} & = & x'yz \lor xy'z \lor xyz'
(x, y, z) & = & \tilde{x}yz \lor x\tilde{y}z \lor xy\tilde{z} & = & x'yz \lor xy'z \lor xyz'
\end{matrix}</math>
<br>
:{| height="100" width="90%"
| ''X''<sub>''j''</sub> = ''P''<sub>''j''</sub> ∪ ''Q''<sub>''j''</sub> ,
| <p>''P'' = <font size="+2">∪</font><sub>''j''</sub> ''P''<sub>''j''</sub> ,
| ''Q'' = <font size="+2">∪</font><sub>''j''</sub> ''Q''<sub>''j''</sub> .
|}
<br>
:<math>\begin{matrix}
X_j = P_j \cup Q_j ,
& P = \bigcup_j P_j ,
& Q = \bigcup_j Q_j .
\end{matrix}</math>
\end{matrix}</math>