Line 416:
Line 416:
<math>\begin{matrix}
<math>\begin{matrix}
a + b
a + b
−
\\[6pt]
+
\\[2pt]
a \neq b
a \neq b
−
\\[6pt]
+
\\[2pt]
a ~\operatorname{exclusive-or}~ b.
a ~\operatorname{exclusive-or}~ b.
−
\\[6pt]
+
\\[2pt]
a ~\operatorname{not~equal~to}~ b.
a ~\operatorname{not~equal~to}~ b.
\end{matrix}</math>
\end{matrix}</math>
Line 441:
Line 441:
<math>\begin{matrix}
<math>\begin{matrix}
a = b
a = b
−
\\[6pt]
+
\\[2pt]
a \iff b
a \iff b
−
\\[6pt]
+
\\[2pt]
a ~\operatorname{equals}~ b.
a ~\operatorname{equals}~ b.
−
\\[6pt]
+
\\[2pt]
a ~\operatorname{if~and~only~if}~ b.
a ~\operatorname{if~and~only~if}~ b.
\end{matrix}</math>
\end{matrix}</math>
Line 572:
Line 572:
\end{matrix}</math>
\end{matrix}</math>
|-
|-
−
|
+
| height="120px" | [[Image:Cactus (A)B Big.jpg|35px]]
−
<pre>
−
o-------------------o
−
| |
−
| o a |
−
| | |
−
| @ b |
−
| |
−
o-------------------o
−
</pre>
| <math>\texttt{(} a \texttt{)} b</math>
| <math>\texttt{(} a \texttt{)} b</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
a \Rightarrow b
a \Rightarrow b
−
\\[6pt]
+
\\[2pt]
a ~\operatorname{implies}~ b.
a ~\operatorname{implies}~ b.
−
\\[6pt]
+
\\[2pt]
\operatorname{if}~ a ~\operatorname{then}~ b.
\operatorname{if}~ a ~\operatorname{then}~ b.
−
\\[6pt]
+
\\[2pt]
\operatorname{not}~ a, ~\operatorname{or}~ b.
\operatorname{not}~ a, ~\operatorname{or}~ b.
\end{matrix}</math>
\end{matrix}</math>
Line 609:
Line 600:
<math>\begin{matrix}
<math>\begin{matrix}
a = b
a = b
−
\\[6pt]
+
\\[2pt]
a \iff b
a \iff b
−
\\[6pt]
+
\\[2pt]
a ~\operatorname{equals}~ b.
a ~\operatorname{equals}~ b.
−
\\[6pt]
+
\\[2pt]
a ~\operatorname{if~and~only~if}~ b.
a ~\operatorname{if~and~only~if}~ b.
\end{matrix}</math>
\end{matrix}</math>
Line 634:
Line 625:
<math>\begin{matrix}
<math>\begin{matrix}
a + b
a + b
−
\\[6pt]
+
\\[2pt]
a \neq b
a \neq b
−
\\[6pt]
+
\\[2pt]
a ~\operatorname{exclusive-or}~ b.
a ~\operatorname{exclusive-or}~ b.
−
\\[6pt]
+
\\[2pt]
a ~\operatorname{not~equal~to}~ b.
a ~\operatorname{not~equal~to}~ b.
\end{matrix}</math>
\end{matrix}</math>
Line 760:
Line 751:
|
|
|-
|-
−
|
+
| height="120px" | [[Image:Cactus (A)B Big.jpg|35px]]
−
<pre>
−
o-------------------o
−
| |
−
| o a |
−
| | |
−
| @ b |
−
| |
−
o-------------------o
−
</pre>
| <math>\texttt{(} a \texttt{)} b</math>
| <math>\texttt{(} a \texttt{)} b</math>
|
|