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

Логическая операция – способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний.

Инверсия (логическое отрицание)
Инверсия логической переменной истина, если переменная ложна, и, наоборот, инверсия ложна, если переменная истинна.
Обозначение:

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

Конъюнкция (логическое умножение)
Конъюнкция двух логических переменных истинна тогда и только тогда, когда оба высказывания, истинны.
Обозначение: AWВ, еще можно АHВ

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

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

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

Импликация (логическое следование)
Импликация двух логических переменных ложна тогда и только тогда, когда из истинного основания следует ложное следствие.
Обозначение:
А - условие
В - следствие

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

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

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

Приоритет выполнения логических операций
При вычислении значения логического выражения (формулы) логические операции вычисляются в определенном порядке, согласно их приоритету:
1.инверсия,
2.конъюнкция,
3.дизъюнкция,
4.импликация и эквивалентность.
Операции одного приоритета выполняются слева направо. Для изменения порядка действий используются скобки.
Пример

Пример
Дана формула
Определите порядок вычисления.
Порядок вычисления:
Инверсия –
Конъюнкция –
Дизъюнкция –
Импликация –
Эквивалентность –