.png)
Логическое высказывание
Давайте для начала пройдемся по терминологии.
Алгебраическая логика – это раздел логики, в котором для решения поставленных задач используют алгебраические действия.
Логическое высказывание – это некое рассуждение, которое можно отнести к истинным или ложным высказываниям.
Любое простое высказывание можно заменить некоторым символом или буквой, при этом, если высказывание сложное, то будут использоваться сочетание букв или даже слов, например: или, тогда, если и другое.
При этом логическое высказывание может принимать только два значения: правда или ложь.
Логические операции
Если некоторая операция приводится к одному результату, то она называется унарной. Если же операция имеет два решения, то она бинарная.
Инверсия – это операция, которая приводит к тому, что получается новая операция в результате отрицания первоначальной.
Геометрический смысл инверсии:
То есть если некая операция приводит к отрицанию, то она находится за пределами правды.
Если некая операция соединяет несколько высказываний, то её называют конъюнкция. То есть одновременно используют два или более события.
Таблица истинности операции конъюнкции:
