Changes

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

|-

|-

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

|}

|}