
Урок№2
Οсновы логики:
Логические операции

Зачем изучать логику в информатике?

Цели урока:
Познакомиться с основными понятиями
алгебры логики: логическая величина,
логическая операция
Для визуализации этапов правильного решения необходимо нажать на прямоугольник c исходным неравенством. Для визуализации ответа необходимо нажать на прямоугольник «Ответ»

Найдите высказывание?
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 выполнить в тетради
