Алгебра логики: основы и применение в информатике

1. АЛГЕБРА ЛОГИКИ

ШИПУЛИН ВЛАДОСИКАК И ДЕРЕВЯГИН НИКИТОСИКАК

2. Что обозначает Алгебра логики?

Алгебра логики — это раздел математики, который изучает
высказывания с точки зрения их логических значений (истинности
или ложности) и логические операции над ними. В
информатике эта тема важна, потому что на её принципах
строятся логические схемы в компьютерах, условия в
программах и алгоритмы обработки данных.

3. Основные понятие

Высказывание — это повествовательное предложение, в
отношении которого можно однозначно сказать, истинно оно
или ложно. Например, «6 — чётное число» — истинное
высказывание, а «Рим — столица Франции» — ложное.

4. Основные логические операции

5. Решение логических задач

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

6. Применение в информатике

Алгебра логики лежит в основе работы цифровых устройств. На
принципах алгебры логики построены логические элементы
компьютера (И, ИЛИ, НЕ и другие), которые реализуют базовые
операции над данными. Понимание этой темы помогает
разбираться в алгоритмах, программировании и строении
процессоров

7. Определение

1.
Отрицание (инверсия, НЕ)
1.
Определение: Унарная операция, меняющая значение высказывания на противоположное. Если исходное высказывание истинно, то результат инверсии —
ложен, и наоборот. Обозначение: ¬A, not A, A̅
логическое
2.
Конъюнкция (
«И», конъюнкция). Определение: Бинарная операция, которая возвращает истину только тогда, когда оба исходных высказывания
истинны. Обозначение: A ∧ B, A and B, A & B, A · B.
3.
Дизъюнкция (логическое «ИЛИ», дизъюнкция).
3.
Определение: Бинарная операция, которая возвращает истину, если хотя бы одно из исходных высказываний истинно.
4.
Обозначение: A ∨ B, A or B, A + B.
Производные операции
Остальные операции алгебры логики выражены через три базовые. Импликация (логическое следование).
5.
6.
4.
Определение: Операция, которая связывает два высказывания в форму «если A, то B». Она ложна только в одном случае: когда посылка A истинна, а
следствие B — ложно. Во всех остальных случаях импликация истинна.
5.
Обозначение: A → B.
Эквивалентность (равнозначность, равносильность).
5.
Определение: Операция, которая возвращает истину, если значения обоих высказываний совпадают.
6.
Обозначение: A ≡ B, A ⇔ B.
Исключающее ИЛИ (сложение по модулю два, XOR).
6.
Определение: Операция, которая возвращает истину, если значения различны (то есть только одно из высказываний истинно).
7.
Обозначение: A XOR B.