3. Операция «или»

Операцию «ИЛИ» называют логическим сложением, потому что она похоже на обычное математическое сложение. Единственное отличие – в последней строке таблицы истинности: в математике 1+1 равно 2, а в алгебре логики – 1.

А	В	А+В
0	0	0
0	1	1
1	0	1
1	1	1

Другое название операции «ИЛИ» – дизъюнкция (от латинского disjunctio – разделение).

В учебнике для обозначения операций «И» и «ИЛИ» мы будем использовать знаки умножения и сложения (например, А·B и А+B). Это очень удобно потому, что они привычны для нас и позволяют легко увидеть аналогию с обычной математикой.

4. Импликация

Импликация — бинарная логическая связка, по своему применению приближенная к союзам «если… то…».

Суждение, выражаемое импликацией, выражается также следующими способами:

• Посылка является условием, достаточным для выполнения следствия;

• Следствие является условием, необходимым для истинности посылки.

Обозначается A → B («если A, то B», «из A следует B»).

А	В	A → B
0	0	1
0	1	1
1	0	0
1	1	1

5. Другие логические операции

Существуют и другие логические операции. Таблицы истинности операций с двумя переменными содержат 4 строки и отличаются только значением последнего столбца. Поэтому любая новая комбинация нулей и единиц в этом столбце дает новую логическую операцию (логическую функцию). Всего их, очевидно, столько, сколько существует четырех‐разрядных двоичных чисел, то есть 16 = 24. Наиболее интересны две – штрих Шеффера («И‐НЕ», англ. nand = «not and»)A|B = A ⋅B и стрелка Пирса («ИЛИ‐НЕ», англ.nor = «not or»).A ↓ B = A + B .

Особенность этих операций состоит в том, что с помощью любой одной их них можно записать произвольную логическую операцию. Например, операции «НЕ»,«И» и «ИЛИ» (базовый набор) выражаются через штрих Шеффера так:

A = A|A , A ⋅B = A|B = (A|B)|(A|B), A + B = A|B = (A|A)|(B|B).

Эти формулы можно доказать через таблицы истинности:

А	В	A|B
0	0	1
0	1	1
1	0	1
1	1	0

6. Логические выражения

Обозначив простые высказывания буквами (переменными) и используя логические операции, можно записать любое высказывание в виде логического выражения. Например, пусть система сигнализации должна дать аварийный сигнал, если вышли из строя два из трех двигателей самолета.

Обозначим высказывания:

А — «Первый двигатель вышел из строя».

B — «Второй двигатель вышел из строя».

C — «Третий двигатель вышел из строя».

X — «Аварийная ситуация».

Тогда логическое высказывание X можно записать в виде формулы

X =(A·B) + (A·C) + (B·C). (*)

Таким образом, мы выполнили формализацию - переход от конкретного содержания к формальной записи с помощью некоторого языка.²

Формализация — это переход от конкретного содержания к формальной записи с помощью некоторого языка.³