| х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
|
