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

Логическая операция ЭКВИВАЛЕНТНОСТЬ (функция тождества)

Логическая операция СЛОЖЕНИЕ ПО МОДУЛЮ 2

– другое название функции «исключающее ИЛИ»

– обозначение М2 или Å;

– в языках программирования обозначение XOR;

– в русском языке соответствует союз «или» (в исключающем смысле).

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

А	В	А Å В

Запись этой функции через {+, ×, –} выглядит как .

– обозначение или ~, или Û.

– в языках программирования обозначение EQV;

– в русском языке соответствуют связки или «эквивалентно» «тогда и только тогда», «необходимо и достаточно», «... равносильно...».

Смысл этой функции – из выказывания A следует высказывание B и, наоборот, из высказывания B следует высказывание A.

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

А	В	А В

Для нее справедливо .

Операция, выражаемая связками «если..., то», «из... следует», «... влечет...», называется импликацией:

– обозначение ® или Þ;

– в языках программирования обозначение IMP;

– в русском языке соответствуют высказывания «если..., то», «из... следует», «... влечет...».

Смысл этой функции – из выказывания A следует высказывание B, но не наоборот – из высказывания B не следует высказывание A.

Функция ложна тогда и только тогда, когда истинно первое выражение и ложно второе.

А	В	А ®В

Для нее справедливо .