
- •Определение булевой функции
- •Способы задания булевых функций
- •Формулы. Реализация функций формулами
- •Принцип двойственности
- •Разложение булевых функций по переменным. Совершенные
- •Полнота и замкнутость. Примеры функционально полных систем
- •Представление булевых функций полиномом Жегалкина
- •Класс функций, сохраняющий константу 0
- •Класс функций, сохраняющий константу 1
- •Класс самодвойственных функций
- •Класс линейных функций
- •Теорема Поста о полноте
- •Понятие днф. Проблема минимизации булевых функций
- •Геометрическая интерпретация задачи минимизации булевых функций
- •Определение тупиковой днф
- •Построение тупиковых днф методом упрощения совершенной днф
- •Определение сокращенной днф и геометрический метод ее построения
- •19.Минимизация булевых функций на основе построения тупиковых д. Н. Ф.
- •20. Минимизация булевых функций методом карт Карно.
- •21.Минимизация булевых функций методом Квайна-Мак-Класски
- •24. Элементарные методы синтеза схем из функциональных элементов. Метод синтеза, основанный на совершенной д. Н. Ф.
- •25. Элементарные методы синтеза схем из функциональных элементов. Метод синтеза, основанный на более компактной реализации множества всех конъюнкций .
- •26.Элементарные методы синтеза схем из функциональных элементов. Метод синтеза, основанный на разложении функции по переменной .
- •27 Синтез схем дешифратора
- •29. Определение и способы задания конечного автомата
- •Способы задания конечного автомата
- •30. Задача анализа и синтеза автоматов
- •31.Элементарные автоматы
- •32. Задача о полноте автоматного базиса
- •Канонический метод синтеза автомата.(?)
- •34.Словарные операторы. Примеры.
- •35. Словарный оператор, реализуемый автоматом. Ограниченно-детерминированный словарный оператор.
- •36. Минимизация автомата
- •37. Понятие формального языка
- •Регулярные языки и грамматики
- •38. Автоматы Мили и Мура. Распознавание множеств автоматами. Теорема анализа для автомата.
- •Понятие алгоритма. Машины Тьюринга и операции над ними. Функции, вычислимые на машинах Тьюринга.
- •40. Формальное определение алгоритма. Представление об алгоритмически неразрешимых проблемах.
- •2. Представление об алгоритмически неразрешимых проблемах
27 Синтез схем дешифратора
Общая теория синтеза СФЭ приводит к
выводу о том, что большинство булевых
функций
при больших значениях
имеет сложные минимальные схемы. Это
означает, что практическую ценность с
точки зрения синтеза представляет
весьма узкий класс булевых функций.
Поэтому наряду с универсальными методами
синтеза необходимо иметь методы синтеза,
приспособленные к отдельным классам
булевых функций, полнее учитывающие
свойства отдельных функций.
Рассмотрим далее две многополюсные схемы, имеющиеся в каждом компьютере.
Дешифратором называется схема,
имеющая
входов
и
выходов, на которых реализуются
всевозможные элементарные конъюнкции
ранга
.
Условное обозначение такой схемы для
приведено на рис. 8
При подаче на входы дешифратора какой-либо комбинации нулей и единиц еди-
ничный сигнал появляется
только на одном из выходов,
DC
В ЭВМ дешифратор применяется для записи или
считывания информации из памяти: на вход подается
двоичный адрес определенной
ячейки памяти, это
Рис. 8 вызывает появление единичного сигнала ровно на одном из выходов, который связан с соответствующей ячейкой, что приводит к операции считывания-записи именно для этой ячейки.
Рис. 9
Схему дешифратора можно построить
индуктивно, добавляя для каждого входа
блок из
(
)
конъюнкторов. Построенная таким образом
схема дешифратора для
показана на рис. 9.
28. Синтез схемы двоичного сумматора.
Двоичный сумматор – это схема,
реализующая сложение двух целых чисел,
заданных в двоичной системе счисления:
,
.
Условное обозначение схемы сумматора показано на рис. 10.
…
…
Рис. 10
Рассмотрим хорошо известный алгоритм
сложения чисел
и
«столбиком»:
Здесь числа
обозначают результаты переносов из
предыдущих разрядов
.
Очевидно,
,
.
Основываясь на тождестве
,
получаем схему, реализующую соответствующее
преобразование величин
в
(рис. 11).
…
Рис. 12
Обозначим
эту схему через
(
).
Тогда
искомая схема
получается путем
последовательного соединения блоков
(рис. 12).
Здесь
,
и блок
осуществляет преобразование
,
.
Очевидно,
и
при
.
Таким образом,
.
Рис. 11