12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchMinimal negation operator (view source)
Revision as of 19:48, 24 August 2009
, 19:48, 24 August 2009cleanup
Line 60:
Line 60:
{| 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>
Line 66:
Line 66:
|-
|-
| 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.
|}
|}
