1. Одноместная операция (отрицание)

Определение. Операция, выражаемая словом “не”, называется отрицанием и обозначается чертой над высказыванием (или знаком  ). Высказывание истинно, когда A ложно, и ложно, когда A истинно.

Пример. “Луна — спутник Земли” (А); “Луна — не спутник Земли” ( ).

Если на входе схемы 0, то на выходе 1. Когда на входе 1, на выходе 0. Условное обозначение инвертора — на рисунке 5.1, а таблица истинности — в табл. 5.1а.

Рис. 5.1

Рассмотрим таблицу значений

А	┐A
0	1
1	0

Рис 5.1.а

2. Логическое сложение

Определение. Операция, выражаемая связкой “или” (в неразделительном, неисключающем смысле этого слова), называется дизъюнкцией (лат. disjunctio — разделение) или логическим сложением и обозначается знаком v (или плюсом). Высказывание А v В ложно тогда и только тогда, когда оба высказывания А и В ложны.

Например, высказывание

“10 не делится на 2 или 5 не больше 3”

ложно, а высказывания

“10 делится на 2 или 5 больше 3”, “10 делится на 2 или 5 не больше 3”, “10 не делится на 2 или 5 больше 3”

истинны.

Условное обозначение схемы ИЛИ представлено на схеме. Знак “1” на схеме — от устаревшего обозначения дизъюнкции как ">=1" (т.е. значение дизъюнкции равно единице, если сумма значений операндов больше или равна 1). Связь между выходом z этой схемы и входами x и y описывается соотношением: z = x v y (читается как "x или y").

Рассмотрим таблицу истинности

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

2. Логическое произведение

Определение. Операция, выражаемая связкой “и”, называется конъюнкцией (лат. conjunctio — соединение) или логическим умножением и обозначается точкой "•" (может также обозначаться знаками ^ или &). Высказывание А•В истинно тогда и только тогда, когда оба высказывания А и В истинны.

Например, высказывание

“10 делится на 2 и 5 больше 3”

истинно, а высказывания

“10 делится на 2 и 5 не больше 3”, “10 не делится на 2 и 5 больше 3”, “10 не делится на 2 и 5 не больше 3”

ложны.

Условное обозначение на структурных схемах схемы И с двумя входами представлено ниже..

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

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

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

Определение. Операция, выражаемая связками “если ..., то”, “из ... следует”, “... влечет ...”, называется импликацией (лат. implico — тесно связаны) и обозначается знаком . Высказывание А  В ложно тогда и только тогда, когда А истинно, а В — ложно.

Каким же образом импликация связывает два элементарных высказывания? Покажем это на примере высказываний: “данный четырёхугольник — квадрат” (А) и “около данного четырёхугольника можно описать окружность” (В). Рассмотрим составное высказывание А  В, понимаемое как “если данный четырёхугольник квадрат, то около него можно описать окружность”. Есть три варианта, когда высказывание А В истинно:

1. А истинно и В истинно, то есть данный четырёхугольник квадрат, и около него можно описать окружность;

2. А ложно и В истинно, то есть данный четырёхугольник не является квадратом, но около него можно описать окружность (разумеется, это справедливо не для всякого четырёхугольника);

3. A ложно и B ложно, то есть данный четырёхугольник не является квадратом, и около него нельзя описать окружность.

Ложен только один вариант: А истинно и В ложно, то есть данный четырёхугольник является квадратом, но около него нельзя описать окружность.

В обычной речи связка “если ..., то” описывает причинно-следственную связь между высказываниями. Но в логических операциях смысл высказываний не учитывается. Рассматривается только их истинность или ложность. Поэтому не надо смущаться “бессмысленностью” импликаций, образованных высказываниями, совершенно не связанными по содержанию. Например, такими:

“если президент США — демократ, то в Африке водятся жирафы”, “если арбуз — ягода, то в бензоколонке есть бензин”.

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