Алгебра логики

Логические выражения представляет собой Высказывания являющиеся повествовательным предложением которые содержат утверждение в отношении которого можно однозначно сказать является оно истинным или ложным
Пример
«Москва - столица России»
следует считать высказыванием и оно истинно
«2х2=8»
тоже высказывание, но оно ложное
«Дождь со снегом»
высказыванием не является так как оно ничего не утверждает

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

Пример Определить тип высказывания (общее, частное, единичное)
«Все рыбы умеют плавать»
«Некоторые медведи-бурые»
«Буква А-гласная»

В логических выражениях высказывания как правило обозначается заглавными латинскими буквами
Высказывания образованные из других
высказываний с использованием
связок И; ИЛИ; НЕ; ЕСЛИ, ТО; ТОГДА И ТОЛЬКО ТОГДА называются составными. Высказывания которые не являются составными называют элементарными.

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

и задается следующей таблицей истинности

Логическое И (конъюнкция (умножение)
Операция применяемая к двум операндам, то есть бинарная операция.
Записывается в виде А&В или АɅВ.
и задается следующей таблицей истинности
Значение такого выражения будет ЛОЖЬ, если значение хотя бы одного из операндов ложно.

Логическое ИЛИ (дизъюнкция (сложение)
Еще одна бинарная операция. В математической логике используется знак V и записывается в виде: АVВ или АIIВ.
Значение такого выражения будет ИСТИНА, если значение хотя бы одного из операндов истинно.

Существует также производные логические операции которые применяются при составлении выражений, но при дальнейшем анализе могут быть выражены с помощью основных логических операций.
Исключающее ИЛИ
Записывается в виде XOR или ⊕.
и задается следующей таблицей истинности
Утверждение A ⊕ B верно, когда либо A, либо B верно, но не оба.

Импликация (если, то)
Записывается в виде А →В, А ⇒В или ⊃.
и задается следующей таблицей истинности
Обычно понимают в виде приказа (А) и выполнения(В)
A ⇒ B верно, только когда либо A ложно, либо B истинно

Эквиваленция (тогда и только тогда)
Записывается в виде А ≡ В, А ↔ В.
и задается следующей таблицей истинности
Обычно понимают в виде приказа (А) и выполнения(В)
A ⇔ B истинно, только если оба значения A и B ложны, либо оба истинны.