Функция тождества или эквиалентность

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

IV. Логическое следование (импликация).

Импликация или функция следования

Схемотехника

Основная статья: Логические элементы — отрицание

Инвертор

Мнемоническое правило для отрицания звучит так: На выходе будет:

• "1" тогда и только тогда, когда на входе «0»,
• "0" тогда и только тогда, когда на входе «1»

Сложное логическое высказывание, образованное с помощью связки 'ЕСЛИ..., ТО...' называют логическим следованием или импликацией. Обозначают:

Для логического следования таблица истинности выглядит так:

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

Запись читается как a плюс по модулю 2 b.

Функция сложения по модулю 2 истинна тогда и только тогда, когда значения переменных различны.

а b a b

0 0 0

0 1 1

1 0 1

1 1 0

Выражение для сложения по модулю 2 можно записать в виде a b = •b +а•.

Функция тождества или эквивалентность а~b.

Истинна тогда и только тогда, когда значения переменных совпадают

а b a ~ b

0 0 1

0 1 0

1 0 0

1 1 1

Дата добавления: 2015-05-09