Щёлокова Саида Дмитриевна
Конспект урока по информатике и ИКТ для 8 класса
«РЕШЕНИЕ ЛОГИЧЕСКИХ ЗАДАЧ»
Тема: «Решение логических задач»
Ход урока:
Решение логических задач
Задание 1. Упростить.
А) [pic] → ( [pic] Λ P) = [pic] ٧ ( [pic] Λ P) = Q ٧ (( [pic] ٧ [pic] ) Λ P) = Q ٧ (( [pic] Λ P) ٧ ( [pic] Λ P)) = Q ٧ ( [pic] Λ P) = (Q ٧ [pic] ) Λ (Q ٧ P) = Q ٧ P
В) (А → [pic] ) Λ (В → А) = ( [pic] V [pic] ) Λ ( [pic] V А) = [pic] Λ [pic] V [pic] Λ A V [pic] Λ [pic] V [pic] Λ A = [pic] Λ [pic] V [pic] Λ A = [pic] Λ ( [pic] V A) = [pic]
С) А Λ (А ٧ В) Λ (В ٧ [pic] ) = А Λ А ٧ А Λ В = А ٧ А Λ В = А Λ (1 ٧ В) = А
D) ( [pic] ) → ( [pic] ) = (А Λ В ٧ С) ٧ ( [pic] ٧ [pic] ) = А Λ В ٧ С ٧ [pic] ٧ [pic] = А Λ В ٧ [pic] ٧ 1 = 1.
Е) А ٧ В Λ (А ٧ С Λ [pic] ) = А ٧ В Λ А ٧ В Λ С Λ [pic] = А Λ (1 ٧ В) = А Λ 1 = А.
F) А ٧ В ٧ А Λ С ٧ [pic] = А ٧ В ٧ А Λ С ٧ [pic] ٧ [pic] = А Λ (1 ٧ С) ٧ В ٧ [pic] ٧ [pic] = А ٧ В ٧ [pic] ٧ [pic] = 1 ٧ 1 = 1.
Задание 2. Доказать равносильность с помощью таблиц истинности.
(А ٧ [pic] ) → [pic] и ( [pic] ) ٧ [pic]
Равносильны. Задание 3. Упростить и построить таблицу истинности.
[pic] = [pic] ٧ (х ٧ у) = 1
А ٧ В ٧ А Λ С ٧ ( [pic] ) = А ٧ В ٧ А Λ С ٧ [pic] ٧ [pic] = 1.
Самостоятельная работа
1.Упростить логические выражения:
А) [pic] ٧ [pic] = (х ٧ у) ٧ [pic] = 1 ٧ у = 1.
В) ((С Λ В) → В) Λ ((А Λ В) → В) = ( [pic] ٧ В) Λ ( [pic] ٧ В) =
( [pic] ٧ [pic] ٧ В) Λ ( [pic] ٧ [pic] ٧ В) = 1.
С) (А ٧ В) Λ А Λ [pic] ٧ [pic] = А Λ А Λ [pic] ٧ В Λ А Λ [pic] ٧ [pic] = А Λ [pic] ٧ В Λ А Λ [pic] ٧ [pic] = А Λ [pic] Λ (1 ٧ В) ٧ [pic] = А Λ [pic] ٧ [pic] .
D) А ٧ В ٧ С ٧ [pic] ٧ В Λ С = (А ٧ [pic] ) ٧ В Λ (1 ٧ С) ٧ С = 1 ٧ В ٧ С = 1.
2. Доказать равносильность при помощи таблиц истинности.
A B и (А V [pic] ) Λ ( [pic] V В)
Равносильны.
Домашнее задание
Задание 1. Упростить:
(х Λ у) → ( [pic] → z). 2) ( [pic] Λ Р) → ( [pic] Λ А).
Задание 2. Упростить и составить таблицу истинности:
[pic] → ( [pic] ).
1.Упростить логические выражения: А) [pic] ٧ [pic] .
В) ((С Λ В) → В) Λ ((А Λ В) → В).
С) (А ٧ В) Λ А Λ [pic] ٧ [pic] .
D) А ٧ В ٧ С ٧ [pic] ٧ В Λ С.
2. Доказать равносильность при помощи таблиц истинности
A B и (А V [pic] ) Λ ( [pic] V В)
1.Упростить логические выражения:
А) [pic] ٧ [pic] .
В) ((С Λ В) → В) Λ ((А Λ В) → В).
С) (А ٧ В) Λ А Λ [pic] ٧ [pic] .
D) А ٧ В ٧ С ٧ [pic] ٧ В Λ С.
2. Доказать равносильность при помощи таблиц истинности
A B и (А V [pic] ) Λ ( [pic] V В)
1.Упростить логические выражения:
А) [pic] ٧ [pic] .
В) ((С Λ В) → В) Λ ((А Λ В) → В).
С) (А ٧ В) Λ А Λ [pic] ٧ [pic] .
D) А ٧ В ٧ С ٧ [pic] ٧ В Λ С.
2. Доказать равносильность при помощи таблиц истинности
A B и (А V [pic] ) Λ ( [pic] V В)
1.Упростить логические выражения:
А) [pic] ٧ [pic] .
В) ((С Λ В) → В) Λ ((А Λ В) → В).
С) (А ٧ В) Λ А Λ [pic] ٧ [pic] .
D) А ٧ В ٧ С ٧ [pic] ٧ В Λ С.
2. Доказать равносильность при помощи таблиц истинности
A B и (А V [pic] ) Λ ( [pic] V В)
1.Упростить логические выражения:
А) [pic] ٧ [pic] .
В) ((С Λ В) → В) Λ ((А Λ В) → В).
С) (А ٧ В) Λ А Λ [pic] ٧ [pic] .
D) А ٧ В ٧ С ٧ [pic] ٧ В Λ С.
2. Доказать равносильность при помощи таблиц истинности
A B и (А V [pic] ) Λ ( [pic] V В)
1.Упростить логические выражения:
А) [pic] ٧ [pic] .
В) ((С Λ В) → В) Λ ((А Λ В) → В).
С) (А ٧ В) Λ А Λ [pic] ٧ [pic] .
D) А ٧ В ٧ С ٧ [pic] ٧ В Λ С.
2. Доказать равносильность при помощи таблиц истинности
A B и (А V [pic] ) Λ ( [pic] V В)
1.Упростить логические выражения:
А) [pic] ٧ [pic] .
В) ((С Λ В) → В) Λ ((А Λ В) → В).
С) (А ٧ В) Λ А Λ [pic] ٧ [pic] .
D) А ٧ В ٧ С ٧ [pic] ٧ В Λ С.
2. Доказать равносильность при помощи таблиц истинности
A B и (А V [pic] ) Λ ( [pic] V В)
1.Упростить логические выражения:
А) [pic] ٧ [pic] .
В) ((С Λ В) → В) Λ ((А Λ В) → В).
С) (А ٧ В) Λ А Λ [pic] ٧ [pic] .
D) А ٧ В ٧ С ٧ [pic] ٧ В Λ С.
2. Доказать равносильность при помощи таблиц истинности
A B и (А V [pic] ) Λ ( [pic] V В)
