Changes

Line 433: Line 433:  
==Equation Sequences : New Versions==
 
==Equation Sequences : New Versions==
   −
{| align="center" cellpadding="4" style="text-align:left" width="90%"
+
{| align="center" cellpadding="8" width="90%"
|  
+
|
|-
+
<math>\begin{array}{lll}
| <math>[| \downharpoonleft s \downharpoonright |]</math>
+
[| \downharpoonleft s \downharpoonright |]
| <math>=\!</math>
+
& = & [| F |]
| <math>[| F |]\!</math>
+
\\[6pt]
|-
+
& = & F^{-1} (\underline{1})
| &nbsp;
+
\\[6pt]
| <math>=\!</math>
+
& = & \{~ (x, y) \in \underline\mathbb{B}^2 ~:~ s ~\}
| <math>F^{-1} (\underline{1})</math>
+
\\[6pt]
|-
+
& = & \{~ (x, y) \in \underline\mathbb{B}^2 ~:~ F(x, y) = \underline{1} ~\}
| &nbsp;
+
\\[6pt]
| <math>=\!</math>
+
& = & \{~ (x, y) \in \underline\mathbb{B}^2 ~:~ F(x, y) ~\}
| <math>\{~ (x, y) \in \underline\mathbb{B}^2 ~:~ s ~\}</math>
+
\\[6pt]
|-
+
& = & \{~ (x, y) \in \underline\mathbb{B}^2 ~:~ \underline{(}~x~,~y~\underline{)} = \underline{1} ~\}
| &nbsp;
+
\\[6pt]
| <math>=\!</math>
+
& = & \{~ (x, y) \in \underline\mathbb{B}^2 ~:~ \underline{(}~x~,~y~\underline{)} ~\}
| <math>\{~ (x, y) \in \underline\mathbb{B}^2 ~:~ F(x, y) = \underline{1} ~\}</math>
+
\\[6pt]
|-
+
& = & \{~ (x, y) \in \underline\mathbb{B}^2 ~:~ x ~\operatorname{exclusive~or}~ y ~\}
| &nbsp;
+
\\[6pt]
| <math>=\!</math>
+
& = & \{~ (x, y) \in \underline\mathbb{B}^2 ~:~ \operatorname{just~one~true~of}~ x, y ~\}
| <math>\{~ (x, y) \in \underline\mathbb{B}^2 ~:~ F(x, y) ~\}</math>
+
\\[6pt]
|-
+
& = & \{~ (x, y) \in \underline\mathbb{B}^2 ~:~ x ~\operatorname{not~equal~to}~ y ~\}
| &nbsp;
+
\\[6pt]
| <math>=\!</math>
+
& = & \{~ (x, y) \in \underline\mathbb{B}^2 ~:~ x \nLeftrightarrow y ~\}
| <math>\{~ (x, y) \in \underline\mathbb{B}^2 ~:~ \underline{(}~x~,~y~\underline{)} = \underline{1} ~\}</math>
+
\\[6pt]
|-
+
& = & \{~ (x, y) \in \underline\mathbb{B}^2 ~:~ x \neq y ~\}
| &nbsp;
+
\\[6pt]
| <math>=\!</math>
+
& = & \{~ (x, y) \in \underline\mathbb{B}^2 ~:~ x + y ~\}.
| <math>\{~ (x, y) \in \underline\mathbb{B}^2 ~:~ \underline{(}~x~,~y~\underline{)} ~\}</math>
+
\end{array}</math>
|-
  −
| &nbsp;
  −
| <math>=\!</math>
  −
| <math>\{~ (x, y) \in \underline\mathbb{B}^2 ~:~ x ~\operatorname{exclusive~or}~ y ~\}</math>
  −
|-
  −
| &nbsp;
  −
| <math>=\!</math>
  −
| <math>\{~ (x, y) \in \underline\mathbb{B}^2 ~:~ \operatorname{just~one~true~of}~ x, y ~\}</math>
  −
|-
  −
| &nbsp;
  −
| <math>=\!</math>
  −
| <math>\{~ (x, y) \in \underline\mathbb{B}^2 ~:~ x ~\operatorname{not~equal~to}~ y ~\}</math>
  −
|-
  −
| &nbsp;
  −
| <math>=\!</math>
  −
| <math>\{~ (x, y) \in \underline\mathbb{B}^2 ~:~ x \nLeftrightarrow y ~\}</math>
  −
|-
  −
| &nbsp;
  −
| <math>=\!</math>
  −
| <math>\{~ (x, y) \in \underline\mathbb{B}^2 ~:~ x \neq y ~\}</math>
  −
|-
  −
| &nbsp;
  −
| <math>=\!</math>
  −
| <math>\{~ (x, y) \in \underline\mathbb{B}^2 ~:~ x + y ~\}.</math>
  −
|-
  −
| &nbsp;
   
|}
 
|}
  
12,089

edits