- •Введение
- •1. Основные понятия и соотношения алгебры логики
- •Отрицание
- •Дизъюнкция
- •Штрих Шеффера
- •Стрелка Пирса
- •2. Представление функций алгебры логики
- •Пример 2.1
- •Получить сднф и скнф этой функции. Решение
- •Пример 2.2
- •Решение Получение таблицы истинности
- •Пример 2.3
- •Решение
- •Пример 2.4
- •Решение
- •Пример 2.5
- •Решение
- •Пример 2.6
- •Решение
- •Пример 2.7
- •Решение
- •Пример 2.8
- •Решение
- •Пример 2.9
- •Решение
- •3. Минимизация функций алгебры логики
- •3.1. Метод Квайна – Мак-Класки
- •Пример 3.1
- •Решение
- •Пример 3.2
- •Решение
- •Пример 3.3
- •Решение
- •3.2. Метод диаграмм Вейча
- •Пример 3.4
- •Решение
- •Пример 3.5
- •Решение
- •Пример 3.6
- •Решение
- •Пример 3.7
- •Решение
- •Пример 3.8
- •Решение
- •Пример 3.9
- •Решение
- •4. Минимизация неполностью определенных функций
- •4.1. Минимизация неполностью определенных функций Методом Квайна – Мак-Класки
- •Пример 4.1
- •Решение
- •Пример 4.2
- •Решение
- •4.2. Минимизация неполностью определенных функций Методом диаграмм Вейча Пример 4.3
- •Решение
- •Пример 4.4
- •Решение
- •Пример 4.5
- •Решение
- •Список литератуРы
- •Содержание
- •115409 Москва, Каширское шоссе, 31 Примечания и дополнения
Пример 3.8
Получить методом диаграмм Вейча минимальную ДНФ для ФАЛ, заданную сокращенной записью СДНФ:
f(a,b,c,d)СДНФ = (0,2,3,7,9,10,11,14)
Решение
Этап 1.
Занести значение функции на диаграмму Вейча, представленную на рис. 3.2,а:
¯d
d
¯d
a
1
¯c
1
1
1
c
¯a
1
1
1
1
¯c
b
¯b
Этап 2.
Отметить на диаграмме 1-клетки, входящие в единственный m-куб:
|
¯d |
d |
¯d |
|
|
a |
|
|
1 |
|
¯c |
1 |
|
1 |
1 |
c |
|
¯a |
|
1 |
1 |
1 |
|
|
|
|
1 |
¯c |
|
|
b |
¯b |
|
Этап 3.
Так как все 1-клетки вошли в какой-либо из m-кубов, то осталось только записать минимальную ДНФ:
f(a,b,c,d)МДНФ = a d v a c v сd v
Необходимо обратить внимание на то, что, как указывалось выше, не следует начинать поиск покрытий с отыскания m-кубов максимально возможной площади. Так, в данном случае 1-клетки (2,3,10,11) можно было бы включить в 2-куб ( c). Однако при этом все равно сохранилась бы необходимость покрытия остальных 1‑клеток 1-кубами. Поэтому данный 2-куб в окончательный вариант покрытия входить не должен.
|
¯d |
d |
¯d |
|
|
a |
|
|
1 |
|
¯c |
1 |
|
1 |
1 |
c |
|
¯a |
|
1 |
1 |
1 |
|
|
|
|
1 |
¯c |
|
|
b |
¯b |
|