СДЕЛАЙТЕ СВОИ УРОКИ ЕЩЁ ЭФФЕКТИВНЕЕ, А ЖИЗНЬ СВОБОДНЕЕ

Благодаря готовым учебным материалам для работы в классе и дистанционно

Скидки до 50 % на комплекты
только до

Готовые ключевые этапы урока всегда будут у вас под рукой

Организационный момент

Проверка знаний

Объяснение материала

Закрепление изученного

Итоги урока

Алгебра логики. Логические выражения

Категория: Информатика

Нажмите, чтобы узнать подробности

Материал можно использовать в качестве презентации, памятки или раздаточного материала. Структура документа:

Что такое алгебра логики

Основные функции алгебры логики

Приоритеты операций

Построе таблиц истинности

Просмотр содержимого документа
«Алгебра логики. Логические выражения»



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


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

Логическое высказывание — это повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно.

Логическая переменная — это переменная,которая обозначает любое высказывание и может принимать логические значения «истина» или «ложь».



Отрицание (инверсия, логическое НЕ) Обозначение ¬, ͞

Х

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