
- •Н. Н. Соколовская, а. В. Ерошенко
- •1. Основы алгебры логики
- •1.1. Логика как наука
- •1.2. Основные операции алгебры логики
- •1.2.1. Инверсия
- •1.2.2. Конъюнкция
- •1.2.3. Дизъюнкция
- •1.2.4. Неравнозначность
- •1.2.5. Эквивалентность
- •1.2.6. Импликация
- •1.3. Законы алгебры логики и правила преобразования логических выражений
- •1.3.1. Логические константы, переменные, выражения и функции
- •1.3.2. Законы алгебры логики и их применение
- •2. Логические основы устройства компьютера
- •2.1. Логические схемы и логические функции
- •2.2. Переход от логической схемы к формуле логической функции
- •2.3. Переход от алгоритма работы к логической схеме
- •3. Применение алгебры логики
- •3.1. Решение текстовых логических задач
- •3.1.1. Методика решения логических задач
- •3.1.2. Примеры
- •3.1.3. Задания
- •3.2. Применение логических операций при решении задач на эвм
- •3.2.1. Примеры
- •3.2.2. Задания
- •3.3. Преобразование логических выражений и схем
- •3.3.1. Примеры
- •3.3.2. Задания
- •Библиографический список
- •Часть 2
- •644046, Г. Омск, пр. Маркса, 35
3.3.2. Задания
Задание 1: В соответствии с номером варианта вычислить значения логических выражений (табл. 3.6), используя таблицы истинности логических функций и порядок выполнения действий. Использовать порядок выполнения действий, приведенный в параграфе 1.3.1., а в качестве образца – пример 1.8.
Таблица 3.6
№ вар. |
Значения переменных |
Логические выражения | ||||||
Логические |
Числовые |
Выражение 1 |
Выражение 2 | |||||
a |
b |
c |
d |
e |
f | |||
1 |
1 |
0 |
1 |
1 |
2 |
3 |
|
|
2 |
0 |
0 |
1 |
2 |
1 |
3 |
|
|
3 |
0 |
1 |
1 |
5 |
5 |
7 |
|
|
4 |
1 |
0 |
0 |
6 |
3 |
4 |
|
|
5 |
0 |
1 |
0 |
2 |
2 |
3 |
|
|
6 |
1 |
0 |
1 |
1 |
2 |
3 |
|
|
7 |
0 |
0 |
1 |
2 |
1 |
3 |
|
|
8 |
0 |
1 |
1 |
5 |
5 |
7 |
|
|
9 |
1 |
0 |
0 |
6 |
3 |
4 |
|
|
10 |
0 |
1 |
0 |
2 |
2 |
3 |
|
|
11 |
1 |
0 |
1 |
1 |
2 |
3 |
|
|
12 |
0 |
0 |
1 |
2 |
1 |
3 |
|
|
13 |
0 |
1 |
1 |
5 |
5 |
7 |
|
|
14 |
1 |
0 |
0 |
6 |
3 |
4 |
|
|
15 |
0 |
1 |
0 |
2 |
2 |
3 |
|
|
Задание 2: В соответствии с номером варианта выполнить упрощение логического выражения (табл. 3.7).
Таблица 3.7
№ вар. |
Логические выражения для упрощения |
1 |
|
2 |
|
3 |
|
4 |
|
5 |
|
6 |
|
7 |
|
8 |
|
9 |
|
10 |
|
11 |
|
12 |
|
13 |
|
14 |
|
15 |
|
16 |
|
Задание 3: В соответствии с номером варианта (табл. 3.8):
– по логической схеме (ЛС) составить логическое выражение и таблицу истинности для него (в MS Excel), используя в качестве образца пример 2.1. Затем упростить логическое выражение, построить по нему упрощенную ЛС, а также, программируя в VBA, таблицу истинности. Полученные таблицы сравнить между собой.
– по заданному логическому выражению составить таблицу истинности (вручную, без ПК) и логическую схему.
Таблица 3.8
Исходные данные для задания 3
№ вар. |
Логическая схема |
Логическое выражение (a, b и с – логические переменные) |
1 |
|
|
2 |
| |
3 |
| |
4 |
| |
5 |
| |
6 |
|
|
7 |
| |
8 |
| |
9 |
| |
10 |
| |
11 |
|
|
12 |
| |
13 |
| |
14 |
| |
15 |
|
Таблица 3.9 | |||
Таблица f(x, y, z) | |||
x |
y |
z |
f |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
Указание. До построения ЛС надо упростить первоначально полученное логическое выражение.
Задание 5*: Составить логическую схему полусумматора, не использующую логический элемент, реализующий операцию неравнозначность.
Задание 6**: Не используя логический элемент «неравнозначность, составить логическую схему и таблицу истинности одноразрядного сумматора.
Задание 7***: Используя один полусумматор и два сумматора, составить логическую схему суммирования двух трехразрядных двоичных чисел.