Логические операции

Сравнение переменных логического типа:

6=8 истина или ложь?

Ответ ложь(false)

1. Операция логического отрицания (унарная) “not” определена как для логических (типаBoolean), так и для целых операндов.

Унарными являются операции, требующие одного аргумента, бинарные операции требуют двух операндов.

Для целых операндов (integer)notx= -(x+1).

Пример: not (26) = - 27; not (-26) = 25.

not	101011
	010100

not false = true или not 0 = 1

nottrue=falsenot1 = 0

2. Логическое умножение and(бинарная операция) – Конъюнкция (логическое «И»)

	101011
and	100101
	100001

Вывод:Результат логического умножения двух операндов всегда не больше меньшего из этих операндов.

AND	false	true
false	false	false
true	false	true

3. Логическое сложение or(бинарная операция)- Дизъюнкция (логическое «или»)

	101011
or	100101
	101111

Вывод:Результат логическое сложение двух операндов всегда не меньше больше из этих операндов.

OR	false	true
false	false	true
true	true	true

Логические операции и таблицы истинности

F = A B (A & B)

A	B	F
1	1	1
1	0	0
0	1	0
0	0	0

Логическое умножение КОНЪЮНКЦИЯ - это новое сложное выражение будет истинным только тогда, когда истинны оба исходных простых выражения. Конъюнкция определяет соединение двух логических выражений с помощью союза И.

F = AVB (A+B)

A	B	F
1	1	1
1	0	1
0	1	1
0	0	0

Логическое сложение – ДИЗЪЮНКЦИЯ - это новое сложное выражение будет истинным тогда и только тогда, когда  истинно хотя бы одно из исходных (простых) выражений. Дизъюнкция определяет соединение двух логических выражений с помощью союза ИЛИ

Логическое отрицание: ИНВЕРСИЯ

A	неА
1	1
1	0

Если исходное выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное выражение ложно, то результат отрицания будет истинным/ Данная операция означает, что к исходному логическому выражению добавляется частица НЕили словаНЕВЕРНО, ЧТО

Логическая равнозначность: ЭКВИВАЛЕНТНОСТЬ

A	B	F
1	1	1
1	0	0
0	1	1
0	0	1

Определяет результат сравнения двух простых логических выражений А и В. Результатом ЭКВИВАЛЕНТНОСТИ является новое логическое выражение, которое будет истинным тогда и только тогда, когда оба исходных выражения одновременно истинны или ложны. Обозначается символом "эквивалентности".

Порядок выполнения логических операций в сложном логическом выражении

1. инверсия

2. конъюнкция

3. дизъюнкция

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

5. эквивалентность

Для изменения указанного порядка выполнения операций используются скобки.