- •Урок №1-2 тема "алгебра высказываний. Основные операции алгебры высказываний"
- •I. Беседа с учащимися (файл matlog1.Ppt)
- •3. Прочтите формулы:
- •Ход урока.
- •20 Вопросов
- •Новый материал.
- •1. Установление истинности сложных высказываний.
- •2. Эквивалентность высказываний.
- •3. Тавтология.
- •I. Актуализация опорных знаний.
- •II. Составление таблиц истинности.
- •Самостоятельная работа. Вариант №1.
- •Вариант №2.
- •Домашнее задание.
- •Законы де моргана. Тождественность высказываний. Упрощение формул. План урока.
- •Ход урока.
- •I. Подача нового материала.
- •1. Упрощение формул.
- •2. Преобразования “поглощение” и “склеивание”
- •3. Всякую формулу можно преобразовать так, что в ней не будет отрицаний сложных высказываний - все отрицания будут применяться только к простым высказываниям.
- •4. Любую формулу можно тождественно преобразовать так, что в ней не будут использованы:
- •5. Замена эквиваленции и импликации на конъюнкцию, дизъюнкцию и отрицание.
- •II. Практическая работа на эвм.
- •I. Проверка домашнего задания (файл д_з3.Doc).
- •II. Решение логических задач.
- •2. Графический способ решения систем логических уравнений.
- •3. Решение логических задач на эвм.
- •Решение контрольной работы №1 "Истинность высказываний. Тавтологии. Эквивалентности. Законы логики. Тождественные преобразования". Вариант №1.
- •Вариант №2.
- •Вариант №3.
- •Вариант №4.
- •Решение логических задач.
- •План урока.
- •Ход урока.
- •I. Проверка домашнего задания.
- •II. Решение задач.
- •Задача.
- •I. Актуализация опорных знаний. Беседа.
- •II. Логические основы построения эвм.
- •III. Структурные формулы и функциональные схемы.
- •IV. Построение логического выражения по таблице истинности
- •V. Домашнее задание.
- •Применяя законы и правила преобразования формул булевой алгебры упростить выражения:
- •Решение.
- •Построить логические схемы, реализующие заданные функции:
III. Структурные формулы и функциональные схемы.
рис.1.
A |
B |
C |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
рис.2.
A |
B |
C |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
Соответствующие схемы называются функциональными. Анализируя функциональную схему, можно понять, как работает логическое устройство, т.е. дать ответ на вопрос: какую функцию она выполняет. Не менее важной формой описания логических устройств является структурная формула. Покажем на примере как выписывают формулу по заданной функциональной схеме.
Ясно, что элемент "И"
осуществляет логическое умножение
значений
и
В.
Над результатом в элементе "НЕ"
осуществляется операция отрицания,
т.е. вычисляется значение выражения:
Формула
и
есть структурная формула логического
устройства.
Задание 1. Для каждой из
функциональных схем выписать
соответствующую структурную формулу.
A |
B |
C |
X1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
A |
B |
C |
X2 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
A |
B |
Y1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
C |
D |
Y2 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
A |
B |
Y3 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
IV. Построение логического выражения по таблице истинности
Для каждой строки таблицы истинности с единичным значением функции построить минтерм. (Минтермом называется терм-произведение (конъюнкция), в котором каждая переменная встречается только один раз - либо с отрицанием, либо без него). Переменные, имеющие нулевые значения в строке, входящие в минтерм с отрицанием, а переменные со значением единица - без отрицания.
Объединить все минтермы операцией дизъюнкции.
Задача. По заданной таблице истинности построить логическое выражение и упростить его. А).
X1 |
X2 |
X3 |
F |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
10 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
Решение.
Выбираем строки, в которых F=1, и строим для них минтермы.
1 строка
2 строка
3 строка
Объединяем минтермы.
Упрощаем логическое выражение.
Б)
X1 |
X2 |
X3 |
F |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
Решение.
Выбираем строки, в которых F=1, и строим для них минтермы.
4 строка
5 строка
6 строка
7 строка
Объединяем минтермы.
Упрощаем логическое выражение.
