2014-02-24
1393
Функции алгебры логики одного аргумента
Количество функций от одного аргумента равно 
= 4.
Таблица 1. Функции алгебры логики одного аргумента
| х | f0(x) | f1(x) | f2(x) | f3(x) |
f0(х) º 0 – константа 0 («ложь»)
f1(х) º 1 – константа 1 («истина»)
f2(х) = х – переменная х
f3(х) = 
- отрицание х (инверсия х)
Количество различных ФАЛ от двух аргументов равно 
= 16.
Таблица 2. Элементарные функции алгебры логики
| х1х2 | Обозначение ФАЛ | ||||
| f0 | тождественный 0, const 0. | ||||
| f1 | х1 и х2, х1×х2, х1&х2, х1Ùх2 – конъюнкция, логическое «и» | ||||
| f2 |  - запрет х2; х1, но не х2
| ||||
| f3 | х1 повторение первого аргумента | ||||
| f4 |  - запрет х1; не х1, но х2
| ||||
| f5 | х2 повторение второго аргумента | ||||
| f6 |  , - сложение по модулю 2, неравнозначность
| ||||
| f7 | х1Úх2 – дизъюнкция, сумма, логическое «или» | ||||
| f8 | x1¯х2 – стрелка Пирса, функция Вебба,  ; логическое “или-не”
| ||||
| f9 | x1ºх2 – эквивалентность, равнозначность, тождество | ||||
| f10 |  - отрицание, инверсия второго аргумента
| ||||
| f11 | x2®х1 – обратная импликация | ||||
| f12 |  - отрицание первого аргумента
| ||||
| f13 | x1®х2 – импликация | ||||
| f14 | x1 | х2 – штрих Шеффера, логическое «и-не», 
| ||||
| f15 | тождественная 1, константа 1 |
|
|
|
