Логические операции

Алгебра логики
Логическая функция – это функция, у которой значения переменных
и значение функции выражают логическую истинность.
Они могут принимать значения «истина» или «ложь» (1 или 0). Для
функции, содержащей две переменные, наборов значений переменных всего
четыре.
Значения логических функций определяются с помощью таблица
истинности.

Алгебра логики
1. Конъюнкция (логическое умножение) – сложное логическое выражение,
которое является истинным только в том случае, когда истинны оба
входящих в него простых выражения.
Обозначение &, ∧, ⋅

Алгебра логики
2. Дизъюнкция является сложным логическим выражением, которое истинно практически всегда, за исключением, когда все выражения ложны.
Обозначение: +, ∨.

Алгебра логики
3. Импликация - это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. То есть, данная логическая операция связывает два простых логических выражения, из которых первое является условием (A), а второе (A) является следствием условия (A).
Обозначения: →, ⇒.

Алгебра логики
4. Эквивалентность - это сложное логическое выражение, которое истинно на равных значениях переменных A и B.
Обозначения: ↔, ⇔, ≡.

Алгебра логики
5. Отрицание(инверсия) - означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО и в итоге получаем, что если исходное выражение истинно, то отрицание исходного – будет ложно и наоборот, если исходное выражение ложно, то его отрицание будет истинно.
Обозначения: не A, A¯, ¬A.

Алгебра логики
Штрих Шеффера Булева функция двух переменных или бинарная логическая операция.
Обозначения: |, эквивалентно операции И-НЕ.

Алгебра логики
Порядок выполнения логических операций в сложном логическом выражении
Инверсия(отрицание);
Конъюнкция (логическое умножение);
Дизъюнкция и строгая дизъюнкция (логическое сложение);
Импликация (следствие);
Эквивалентность (тождество).

Алгебра логики
Построим таблицу истинности A∨A&B. В нём две переменные, две операции, причём сначала выполняется конъюнкция, а затем дизъюнкция. Всего в таблице будет четыре столбца:
Наборы входных переменных — это целые числа от 0 до 3, представленные в двухразрядном двоичном коде: 00,01,10,11. Заполненная таблица истинности имеет вид:

Задание 1.
! Построить таблицу истинности и решить выражение F=(A∨B)∧(¬A∨¬B).
В помощь приведённый ниже алгоритм.
Число переменных в выражении n = 2.
Общее количество логических операций в выражении — 5.
Последовательность выполнения логических операций — 1, 5, 3, 4, 2.
Количество столбцов — 7. Логические переменные (А и В) + логические операции ∨, ∧, ¬, ∨ , ¬.
Количество строк — 5, исходя из m =2n, таким образом 22 = 4, 4+1 (строка заголовков столбцов) = 5
Заполнить таблицу.