12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday April 04, 2025
Jump to navigationJump to searchMinimal negation operator (view source)
Revision as of 11:50, 24 August 2009
, 11:50, 24 August 2009de-awk
Line 32:
Line 32:
To express the general case of <math>\nu_k\!</math> in terms of familiar operations, it helps to make a preliminary definition.
To express the general case of <math>\nu_k\!</math> in terms of familiar operations, it helps to make a preliminary definition.
−'''Definition.''' Let the function <math>\lnot_j : \mathbb{B}^k \to \mathbb{B},</math> where <math>j\!</math> is an integer in the interval <math>[1, k],\!</math> be defined by the following equation:
+'''Definition.''' Let the function <math>\lnot_j : \mathbb{B}^k \to \mathbb{B}</math> be defined for each integer <math>j\!</math> in the interval <math>[1, k]\!</math> by the following equation:
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
