Дополнительные базовые лог. функции

1. Штроих Шеффера (Отрицание коньюнкции)

Обозначение в булевой алгебре: |

Наименование в выч. технике: И-НЕ, 2И-НЕ , NAND.

Обозначение в выч. технике:

Мнемоническое правило: 0, только когда на обоих входах 1.

Запись: ;

Таблица истинности:

		y

Логический элемент И-НЕ (NAND):

Булева запись логической функции Штрих Шеффера через основной базис

Эквивалентная схема Штриха Шеффера из элементов основного базиса

1. Стрелка Пирса (Отрицание дизъюнкции)

Обозначение в булевой алгебре:

Наименование в выч. технике: логическое сложение, ИЛИ-НЕ, 2ИЛИ-НЕ, NOR.

Обозначение в выч. технике: .

Мнемоническое правило: 1, только когда на обоих входах 0, иначе 0.

Запись: ;

Таблица истинности:

		y

Логический элемент ИЛИ-НЕ (NOR):

Булева запись логической функции Стрелка Пирса через основной базис

Эквивалентная схема Стрелки Пирса из элементов основного базиса

1. Неравнозначность

Обозначение в булевой алгебре:

Наименование в выч. технике: Сложение по модулю 2, Исключающее ИЛИ, XOR.

Обозначение в выч. технике: , XOR|.

Мнемоническое правило: 1, только когда оба входа разные (неравнозначные).

Запись: ;

Таблица истинности:

		y

Логический элемент Исключаюшее ИЛИ (XOR):

Сложение по модулю 2 является самой распространенной в криптографии логической операцией над битами двоичных кодов.

Существует еще основная логическая функция импликация, но в вычислительной технике она распространения не получила. И мы ее рассматривать не будем.