Changes

cleanup
Line 60: Line 60:  
{| align="center" cellpadding="4" width="90%"
 
{| align="center" cellpadding="4" width="90%"
 
| valign="top" | <big>&bull;</big>
 
| valign="top" | <big>&bull;</big>
| The function <math>\texttt{(x, y)}</math> is the same as that associated with the operation <math>x + y\!</math> and the relation <math>x \ne y.</math></p>
+
| The function <math>\texttt{(x, y)}</math> is the same as that associated with the operation <math>x + y\!</math> and the relation <math>x \ne y.</math>
 
|-
 
|-
 
| valign="top" | <big>&bull;</big>
 
| valign="top" | <big>&bull;</big>
Line 66: Line 66:  
|-
 
|-
 
| valign="top" | <big>&bull;</big>
 
| valign="top" | <big>&bull;</big>
| More generally, the function <math>\nu_k (x_1, \dots, x_k)</math> for <math>k > 2\!</math> is not identical to the boolean sum <math>\textstyle\sum_{j=1}^k x_j.</math></p>
+
| More generally, the function <math>\nu_k (x_1, \dots, x_k)</math> for <math>k > 2\!</math> is not identical to the boolean sum <math>\textstyle\sum_{j=1}^k x_j.</math>
 
|-
 
|-
 
| valign="top" | <big>&bull;</big>
 
| valign="top" | <big>&bull;</big>
| The inclusive disjunctions indicated for the <math>\nu_k\!</math> of more than one argument may be replaced with exclusive disjunctions without affecting the meaning, since the terms disjoined are already disjoint.</p>
+
| The inclusive disjunctions indicated for the <math>\nu_k\!</math> of more than one argument may be replaced with exclusive disjunctions without affecting the meaning, since the terms disjoined are already disjoint.
 
|}
 
|}
  
12,080

edits