10
правок
Изменения
Нет описания правки
{| border="1"
|-
!x||y||0||∧||<math>\nrightarrow</math>||x||<math>\nleftarrow</math>||y||⊕||∨||↓||↔||¬y||←||¬x||→||∇||1
|-
!0||0
|0||1||0||1||0||1||0||1||0||1||0||1||0||1||0||1
|}
0 - тождественный 0
∧ - конъюнкция, логическое И, также обозначается x and y, x&y , x·y
x - первый проектор, также обозначается p<sub>1</sub> или p<sub>x</sub>
y - второй проектор, также обозначается p<sub>2</sub> или p<sub>y</sub>
⊕ - сложение по модулю 2, также обозначается x xor y, x≠y
∨ - дизъюнкия, логическое ИЛИ, также обозначается x or y, x+y , x | y
↓ - стрелка Пирса. Образует безызбыточный базис.
↔ - эквивалентность, также обозначается x=y
¬y - отрицание второго проектора
¬x - отрицание первого проектора
← - обратная ипликация, также обозначается x≥y
→ - импликация, также обозначается x≤y
$nabla; - штрих Шеффера. Образует безызбыточный базис.
1 - тождественная единица
Примеры булевых функций: все функции от нуля, одной и двух переменных
