Материал можно использовать в качестве презентации, памятки или раздаточного материала.
Структура документа:
Что такое алгебра логики
Основные функции алгебры логики
Приоритеты операций
Построе таблиц истинности
Просмотр содержимого документа
«Алгебра логики. Логические выражения»
Алгебра логики
Алгебра логики — раздел математики, изучающий высказывания, рассматриваемые с точки зрения их логических значений (истинности или ложности), и логические операции над ними.
Логическое высказывание — это повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно.
Логическая переменная — это переменная,которая обозначает любое высказывание и может принимать логические значения «истина» или «ложь».
Отрицание (инверсия, логическое НЕ) Обозначение ¬, ͞
Х | Y | ¬x |
0 | 0 | 1 |
0 | 1 | 1 |
1 | 0 | 0 |
1 | 1 | 0 |
Конъюнкция (логическое умножение, логическое И) Обозначение /\, and, &
Х | Y | X /\ Y |
0 | 0 | 0 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
Дизъюнкция (логическое сложение, логическое ИЛИ) Обозначение \/, or, |
Х | Y | X \/ Y |
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 1 |
Импликация (логическое следование, НЕ и ИЛИ) Обозначение →
Х | Y | X → Y |
0 | 0 | 1 |
0 | 1 | 1 |
1 | 0 | 0 |
1 | 1 | 1 |
Эквивалентность (логическое равенство) Обозначение ↔, ≡
Х | Y | X ≡ Y |
0 | 0 | 1 |
0 | 1 | 1 |
1 | 0 | 0 |
1 | 1 | 1 |
Приоритет операций
Отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность.
¬x ∨ y
Построение таблиц истинности
Х | Y | ¬x | ¬x ∨ y |
0 | 0 | 1 | 1 |
0 | 1 | 1 | 1 |
1 | 0 | 0 | 0 |
1 | 1 | 0 | 1 |
x 𝖠 y ∨ ¬z
Х | Y | z | x 𝖠 y | ¬z | x 𝖠 y ∨ ¬z |
0 | 0 | 0 | 0 | 1 | 1 |
0 | 0 | 1 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 1 | 1 |
0 | 1 | 1 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 1 | 1 |
1 | 0 | 1 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 1 |
1 | 1 | 1 | 1 | 0 | 1 |