Обозначение аргументов и функций

Значение аргументов и функций

Обозначение функций

Наименование

Вырожденность

Представление функции в булевом базисе

0

0

0

0

“0”

Логический ноль

+

-

0

0

0

1

x1&x2

Конъюнкция

-

x1 x2

0

0

1

0

x1Dx2

Запрет x1 по x2

-

x1 2

0

0

1

1

x1

Повторение x1

+

-

0

1

0

0

x2Dx1

Запрет x2 по x1

-

x21

0

1

0

1

x2

Повторение x2

+

-

0

1

1

0

x1Åx2

Сумма по модулю 2 неравнозначная (исключительное или) XOR

-

1 x2 Ú x12

0

1

1

1

x1Úx2

Дизъюнкция

-

x1 Ú x2

1

0

0

0

x1¯x2

Функция Вебба

-

x1Úx2

1

0

0

1

x1ºx2

Равнозначность

-

12 Ú x1 x2

1

0

1

0

2

Отрицание x2

+

-

1

0

1

1

x2®x1

Импликация от x2 к x1

-

2 Ú x1

1

1

0

0

1

Отрицание x1

+

-

1

1

0

1

x1®x2

Импликация x1 к x2

-

1 Ú x2

1

1

1

0

x1 | x2

Штрих Шеффера

-

1

1

1

1

“1”

Логическая единица

+

-