| 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> |
| | | | | | |