Урок№2
Οсновы логики:
Логические операции
Зачем изучать логику в информатике?
Цели урока:
Познакомиться с основными понятиями
алгебры логики: логическая величина,
логическая операция
Для визуализации этапов правильного решения необходимо нажать на прямоугольник c исходным неравенством. Для визуализации ответа необходимо нажать на прямоугольник «Ответ»
97 " width="640"
Найдите высказывание?
1) В декабре 31 день.
2) 112 и 113 – это двузначные числа.
3) 47 – 39 =18
4) 324
5) Ах, какая сегодня прекрасная погода!
6) Столица нашей Родины город Москва.
7) Неужели все сегодня получат оценку «5»?
8) 185 97
Логическое высказывание
- Логическое высказывание – это любое повествовательное предложение, в отношении которого можно однозначно сказать истинно оно или ложно
Для визуализации этапов правильного решения необходимо нажать на прямоугольник c исходным неравенством. Для визуализации ответа необходимо нажать на прямоугольник «Ответ»
Логическое высказывание
Для визуализации этапов правильного решения необходимо нажать на прямоугольник c исходным неравенством. Для визуализации ответа необходимо нажать на прямоугольник «Ответ»
Логические операции:
Логические операции:
1. Отрицание (инверсия)
2. Логическое умножение (конъюнкция)
3. Логическое сложение (дизъюнкция)
4. Разделительная дизъюнкция
5. Следование (импликация)
6. Эквивалентность
8
Работа с учебником стр.96
И н в е р с и я - “не” , ¯
Синтаксис :
F = A
или
F = A
Таблица истинности:
A
A
0
1
0
1
Д и з ъ ю н к ц и я - “ или ”
Таблица истинности:
Синтаксис :
F = A B
(F = A + B)
A
F = A B
B
0
0
0
1
0
1
1
0
1
1
1
1
К о н ъ ю н к ц и я - “и” ( , )
Таблица истинности:
Синтаксис :
F = A B
или
F = A B
(F = A B)
B
A
F = A B
0
0
0
0
0
1
0
0
1
1
1
1
Приоритет выполнения логических операций
- Инверсия (отрицание)
- Конъюнкция (умножение)
- Дизъюнкция (сложение)
Для изменения указанного порядка выполнения логических операций используются скобки.
Алгоритм построения таблицы истинности
- Построение таблицы истинности сложных логических величин (ЛВ):
- 1) определить число простых ЛВ (n);
- 2) определить число строк в таблице истинности (q=2 n );
- 3) записать все возможные значения простых ЛВ;
- 4) определить количество логических операций и их порядок;
- 5) записать логические операции в таблицу истинности и определить для каждой значение.
Построим таблицу истинности для выражения F=(A B ) ( A B )
A
B
A B
A
B
A B
(A B) (A B)
Построим таблицу истинности
для логического выражения F=X Y Z
Z
X
X Y Z
Y Z
Y
Z
0
0
1
0
0
0
0
0
0
1
0
0
1
0
0
1
1
1
0
1
1
0
0
0
1
0
0
1
0
1
1
0
0
0
1
1
1
1
0
1
1
1
1
1
1
0
0
1
Домашнее задание:
§ 13
Задание №5,6 выполнить в тетради

"Основы логики: логические операции" (4.72 MB)

