- •И.Д. Долгий
- •1.2. Функции алгебры логики (фал) одного
- •Константа 0
- •Фал конъюнкция
- •Фал дизъюнкция
- •Фал «и-не»
- •Фал «или-не»
- •2. Преобразование функций алгебры логики
- •2.1. Тождества алгебры логики
- •2.2. Законы алгебры логики
- •2.3. Теорема разложения в ряд функции алгебры
- •2.4. Функционально-полные системы функций
- •2.5. Стандартные формы функций алгебры логики
- •3. Минимизация функций алгебры логики
- •3.1. Некоторые понятия и определения
- •3.2. Аналитический метод минимизации фал
- •3.3. Табличные методы минимизации функций
- •4. Синтез дискретных автоматов
- •4.1. Техническая реализация функций алгебры
- •4.2. Основные сведения о дискретных автоматах
- •4.3. Синтез комбинационных автоматов
- •5. Синтез конечных автоматов
- •5.1. Синтез конечных автоматов мили
- •Совмещенная таблица переходов и выходов
- •Минимальная таблица переходов и выходов
- •Минимальная абстрактная таблица
- •Структурная таблица переходов
- •Структурная таблица выходов
- •Преобразованная таблица выходов
- •5.2. Синтез конечных автоматов мура
- •6. Анализ комбинационных автоматов
- •6.1. Задачи анализа
- •6.2. Анализ релейно-контактной схемы
- •6.3. Анализ схем комбинационНых автомаТов,
6. Анализ комбинационных автоматов
6.1. Задачи анализа
Под анализом дискретного автомата понимают определение условий его работы по заданной схеме и известным функциональным свойствам его отдельных элементов. В задачу анализа входит выяснение поведения автомата при каких-либо повреждениях в автомате или при режимах, отличных от тех, которые были заданы при проектировании автомата. Анализ проводят и для проверки правильности функционирования разработанной схемы.
Для того чтобы проанализировать работу дискретного автомата необходимо кроме его схемы знать функциональные свойства всех элементов схемы для тех режимов, в которых они работают, а также характер воздействующих на автомат сигналов.
Чаще всего анализ дискретных автоматов сводится к определению условий его работы по заданной схеме. Применительно к комбинационным автоматам условия их работы определяются рабочими и запрещенными наборами входных воздействий каждого выхода автомата.
Таким образом, анализ комбинационных дискретных автоматов может быть выполнен согласно следующему алгоритму:
По схеме автомата определяется число входов хи выходову.
Для каждого выхода автомата записывается логическое выражение, т.е. получается зависимость каждого выхода от входов. Если в логических выражениях имеют место общие знаки отрицания, то необходимо их опустить непосредственно на аргументы.
По полученным логическим выражениям для каждого выхода строится таблица истинности.
Из таблиц истинности получаются рабочие и запрещенные наборы входных воздействий для каждого выхода, которые и определяют условия функционирования заданного автомата.
6.2. Анализ релейно-контактной схемы
КОМБИНАЦИОННОГО АВТОМАТА

Рис. 6.1. Релейно-контактная схема комбинационного автомата
Анализ схемы (рис. 6.1) выполняется согласно вышеизложенному алгоритму. Схема имеет четыре входа х1х2х3х4и два выходау1иу2. Логические выражения выходов следующие
![]()
Для того чтобы установить условия функционирования заданной схемы необходимо построить таблицы истинности логических выражений выходов у1 и у2. По рабочим и запрещенным наборам, полученным в таблицах истинности (6.1. и 6.2.), определяются условия работы схемы комбинационного автомата.
Таблица 6.1.
Таблица истинности выхода у1
|
х1х2х3х4 |
|
|
|
|
у1 |
|
0000 |
1 |
1 |
0 |
0 |
0 |
|
0001 |
1 |
1 |
0 |
1 |
1 |
|
0010 |
1 |
0 |
0 |
0 |
0 |
|
0011 |
1 |
0 |
0 |
0 |
0 |
|
0100 |
0 |
1 |
0 |
0 |
0 |
|
0101 |
0 |
1 |
0 |
1 |
1 |
|
0110 |
0 |
0 |
0 |
0 |
0 |
|
0111 |
0 |
0 |
0 |
0 |
0 |
|
1000 |
1 |
1 |
0 |
0 |
0 |
|
1001 |
1 |
1 |
0 |
1 |
1 |
|
1010 |
1 |
0 |
1 |
0 |
1 |
|
1011 |
1 |
0 |
1 |
0 |
1 |
|
1100 |
0 |
1 |
0 |
0 |
0 |
|
1101 |
0 |
1 |
0 |
1 |
1 |
|
1110 |
0 |
0 |
0 |
0 |
0 |
|
1111 |
0 |
0 |
0 |
0 |
0 |
Таблица 6.2.
Таблица истинности выхода у2
|
х1х2х3х4 |
|
|
|
|
|
|
у2 |
|
0000 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
|
0001 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
|
0010 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
|
0011 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
|
0100 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
|
0101 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
|
0110 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
|
0111 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
|
1000 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
|
1001 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
|
1010 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
|
1011 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
1100 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
|
1101 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
|
1110 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
|
1111 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
