12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday November 24, 2024
Jump to navigationJump to searchMinimal negation operator (view source)
Revision as of 11:50, 24 August 2009
, 11:50, 24 August 2009de-awk
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%"
