Как в информатике используются логические операции и условные обозначения?

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

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

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

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

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