Логические операции в информатике позволяют составлять новые высказывания путём соединения более простых. 3 Некоторые из них:

• Конъюнкция (логическое умножение). 3 В результате операции получается сложное высказывание с соединительным союзом «И», значение которого истинно, только если входящие в него высказывания истинны. 3
• Дизъюнкция (логическое сложение). 13 В результате операции получается сложное высказывание с разделительным союзом «ИЛИ», значение которого истинно, если хотя бы одно из входящих в него высказываний истинно. 3
• Отрицание (инверсия). 13 Изменяет значение высказывания на противоположное, в естественном языке соответствует частице «НЕ». 3
• Импликация (логическое следствие). 1 Принимает два логических высказывания и возвращает истинное значение, если первое высказывание ложно или второе высказывание истинно (или оба высказывания истинны). 1
• Эквивалентность (логическая эквивалентность). 1 Принимает два логических высказывания и возвращает истинное значение, если оба высказывания имеют одинаковое логическое значение (оба истинны или оба ложны). 1

Условные обозначения в информатике используются для обозначения логических элементов, из которых составляются логические схемы, выполняющие различные логические операции. 3 Некоторые из таких элементов и их функции:

• Логический элемент «И» (конъюнктор). 3 Выполняет логическое умножение. 3 Сигнал на выходе этого логического элемента будет только в том случае, если есть сигнал на всех входах. 3
• Логический элемент «ИЛИ» (дизъюнктор). 3 Выполняет логическое сложение. 3 Имеет несколько входов и один выход. 3 Сигнал на выходе будет, если есть сигнал хотя бы на одном входе. 3
• Логический элемент «НЕ» (инвертор). 3 Выполняет логическое отрицание. 3 Имеет один вход и один выход. 3 Отсутствие сигнала (напряжения) обозначается через «0», а наличие сигнала — через «1». 3

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