ИНФОРМАТИКА

С помощью этих трех функций можно представить (аналитически выразить) любую сколь угодно сложную логическую функцию. Очень важной для вычислительной техники является логическая функция исключающее ИЛИ (неравнозначность, сложение по модулю два). Функция исключающее ИЛИ обозначается символом . Ниже приведены таблицы истинности для этих трех функций.
Логические переменные, объединенные знаками логических операций, составляют логические выражения. При определении значения логического выражения принято следующее старшинство (приоритет) логических операций: сначала выполняется инверсия, затем конъюнкция и в последнюю очередь – дизъюнкция. Для изменения указанного порядка используют скобки.
Рассмотрим аксиомы, тождества и основные законы алгебры логики.
В алгебре логики рассматриваются переменные, которые могут принимать только два значения: 0 и 1. Базируется алгебра логики на отношении эквивалентности и трех упомянутых ранее операциях: дизъюнкции (синонимы – логическое сложение, операция ИЛИ), конъюнкции (логическое умножение, операция И) и отрицании (инверсия, операция НЕ).
Отношение эквивалентности обозначается знаком =.
Дизъюнкция обозначается знаком , а иногда символом +.
Конъюнкция обозначается символом  либо точкой, которую можно опускать.
Отрицание обозначается чертой над переменной: х .
Если в аксиомах произвести взаимную замену операций дизъюнкции и конъюнкции, а также элементов 0 и 1, то из одной аксиомы данной пары получается другая. Это свойство называется принципом двойственности.
С помощью аксиом можно получить ряд тождеств:
Перечислим законы алгебры логики:
• - переместительный (или коммутативный)
• - сочетательный (или ассоциативный)
• - распределительный (или дистрибутивный)
• - двойственности (или де Моргана)
• - двойного отрицания
• - поглощения
• - склеивания