Свойства функций

1) f₁– стрелка Пирса (или–не)

f₁= ↓ = .

Свойства:

↓0 = ; ↓ = ;

↓1 = 0; ↓ = 0.

2) f₄ – запрет a

f₄= ← = .

Свойства: 0← = 0;

←0 = ; ← = ;

←1 = 0; 1← = ;

← = 0; ← = .

3) f₆– сложение по модулю 2

f₆ = .

Свойства:

0 = ; = 0;

1 = ; = 1.

4) f₇ – штрих Шеффера (и–не)

f₇ = | .

Свойства:

|0 = 1; | = ;

|1 = ; | = 1.

5) f₈ – конъюнкция (И)

f₈ = = & = .

Свойства:

0 = 0; = ;

1 = ; = 0.

6) f₉ – эквивалентность (равнозначность)

f₉ = ↔ = ~ = .

Свойства:

↔0 = ; ↔1 = ;

↔ =1; ↔ = 0.

7) f₁₁ – импликация

f₁₁ = a→b = .

Свойства: a → a = 1;

a →0 = ; → a = a;

a →1 = 1; a → = ;

0 →a = 1; 1→ a = a.

8) f₁₄ – дизъюнкция (или)

f₁₄ =

Свойства:

0 = ; 1 =1;

= ; =1.