Элементарные логические функции. Существуют четыре различные ПФ, зависящие от одного аргумента
Существуют четыре различные ПФ, зависящие от одного аргумента. При этом для функций 
и 
аргумент x является фиктивным (табл. 3.4).
Таблица 3.4
 \ x
| Условное обозначение | Название функции | ||
|
| Константа 0 | |||
| 
| Переменная х | ||
| 
| Инверсия х | ||
|
| Константа 1 |
Существуют 16 различных ПФ, зависящих от двух аргументов (табл. 3.5). При этом для функций 
и 
оба аргумента 
являются фиктивными, а для функций 
, 
, 
и 
один из аргументов является фиктивным.
|
| Условное обозначение | Название функции | ||||
| Константа 0 | |||||
| 
| Конъюнкция | ||||
| 
| Запрет по 
| ||||
|
| 
| Переменная
| ||||
| 
| Запрет по
| ||||
|
|
| Переменная
| ||||
| 
| Сложение по модулю 2 | ||||
| 
| Дизъюнкция | ||||
| 
| Стрелка Пирса | ||||
| ~
| Эквивалентность | ||||
|
| 
| Инверсия
| ||||
| 
| Импликация в
| ||||
|
| 
| Инверсия
| ||||
| 
| Импликация в
| ||||
| 
| Штрих Шеффера | ||||
|
| Константа 1 |
Все ПФ одного аргумента, а также функции двух аргументов с номерами 1, 6, 7, 8, 9, 11, 14 называют элементарными и используют для построения более сложных функций путем изменения номеров аргументов и с помощью суперпозиции, т.е. подстановки вместо аргументов других переключательных функций.
Дата добавления: 2014-12-27; просмотров: 858;