12,080
edits
Changes
Minimal negation operator (view source)
Revision as of 19:48, 24 August 2009
, 19:48, 24 August 2009cleanup
{| align="center" cellpadding="4" width="90%"
{| align="center" cellpadding="4" width="90%"
| valign="top" | <big>•</big>
| valign="top" | <big>•</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>•</big>
| valign="top" | <big>•</big>
|-
|-
| valign="top" | <big>•</big>
| valign="top" | <big>•</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>•</big>
| valign="top" | <big>•</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.
|}
|}