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

Некоторые логические операции и их описание:

• Отрицание (инверсия, логическое НЕ). 5 Делает ложное высказывание истинным, а истинное — ложным. 5 Обозначение: ¬A. 5
• Логическое сложение (дизъюнкция, логическое ИЛИ). 5 Выражение истинно, если хотя бы одно из простых логических выражений истинно, и ложно тогда и только тогда, когда оба простых логических выражения ложны. 5 Обозначение: A ∨ B. 5
• Логическое умножение (конъюнкция, логическое И). 5 Выражение считается истинным в том и только том случае, когда оба простых выражения являются истинными, во всех остальных случаях данное сложное выражение ложно. 5 Обозначение: A ∧ B. 5
• Логическое следование (импликация). 5 Истинно во всех случаях, кроме того случая, когда из истины следует ложь. 5 То есть данная логическая операция связывает два простых логических выражения, из которых первое (А) является условием, а второе (В) является следствием. 5 Обозначение: A → B. 5
• Логическая эквивалентность (равносильность). 5 Это сложное логическое выражение, которое является истинным тогда и только тогда, когда оба простых логических выражения имеют одинаковую истинность. 5 Обозначение: A ≡ B. 5

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