Согласно с выражением 2, при n=2 => F=(22)2=16.
Эти функции носят название элементарные.
x1 | x2 | f0 | f1 | f2 | f3 | f4 | f5 | f6 | f7 | f8 | f9 | f10 | f11 | f12 | f13 | f14 | f15 |
Название и условное обозначение | Ни когда f0=0 | Конъюнкция «И» ^& | Операция «НЕ» запрет=→ | Тоже f3= x1 | Запрет по x1 =← | Повтор f5= x2 | Альтернатива + | Операция «ИЛИ» V + дизъюнкция | Операция «ИЛИ НЕ» стрелка Пирса↓ | Равнозначность ≡ | Операция «НЕ» f10= x2 | «ЕСЛИ ТО» импликация↑ | «НЕ» f12= | «ЕСЛИ ТО» импликация↑ | «И-НЕ» | «ВСЕГДА» f15=1 |
1. f0=0, const нуля
2. f1= x1 x2= x1* x2 операция конъюнкция (логическое умножение)
3. f2 =→ x1 = x2 = x* 2 запрет по x2
4. f3 =←x1 повтор по x1
5. f4= x1 = x2 = 1*x2 запрет по x1
6. f5=x2 повторение по x2
7. f6=x1 + x2 = x1* 2 v 1*x2 (не равнозначность, альтернатива сложения по модулю е)
|
|
8. f7=x1 v x2 (дизъюнкция); (логическое сложение «ИЛИ»)
9. f8=x1 + x2= 1 v 2 = 1* 2 (стрелка Пирса) («ИЛИ-НЕ»)
10. f9=x1≡x2=x1*x2 v 1 2 (тождество, равнозначность)
11. f10= 2
12. f11=x1←x2=x1 v 2 (импликация)
13. f12= 1
14. f13=x1→x2= 1 v x2 (Импликация по x1)
15. f14=x1┴x2= 1* 2= 1 v 2 (штрих Шеффера) («И-НЕ»)
16. f15=1 → короткое замыкание
Три функции И, ИЛИ, НЕ получили название основных функций, то есть любую функцию алгебры логики можно заменить используя эти три функции