Changes

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%"