Элемент (штрих) Шеффера

Обозначение:

| ; .

Другое название этой функции: «И-НЕ».

Высказывание | будем считать ложным, когда и равны единице. Таблица истинности представлена на рис. 9.

		ï

Рис. 9. Элемент (штрих) Шеффера

Элемент Вебба (стрелка Пирса)

Обозначение:

; .

Высказывание будем считать истинным только тогда, когда оба операнда и равны нулю. Таблица истинности представлена на рис.10.

Другое название этой функции: «ИЛИ-НЕ».

Рис. 10. Элемент Вебба (стрелка Пирса)

Сложение по модулю 2.

Обозначение:

; ; XOR .

Высказывание будем считать истинным, если первый операнд не равен второму операнду . Таблица истинности представлена на рис. 11.

Другие названия этой функции: «исключающее ИЛИ», «логическое ЛИБО», «неравносильность», «неэквивалентность», «логическое сложение», «булево сложение».

Рис. 11. Сложение по модулю 2