Анализ комбинационных схем

Проанализировать логическую схему это означает: по заданной структурной схеме определить таблицу истинности и (или) логическое выражение, реализуемое данным автоматом. Т.е. установить зависимость выходной функции от входных значений аргументов. Анализ осуществляется в следующей последовательности:

1. Для каждого из элементарных автоматов записывается логическое выражение. При этом образуется система логических
уравнений.

2. Система логических уравнений решается методом подстановок

3. По полученному выражению строится таблица истинности и если необходимо, записывается СДНФ.

4. Находится тупиковая форма, т.е. логическое выражение, не допускающее дальнейшего упрощения.

Пример. Для представленного автоматанайти логическую функцию, которую воспроизводит данный автомат, и, если возможно, упростить его структуру для реализации той же функции.

1. Обозначим выход каждого из элементарных автоматов через Y₁ и запишем реализуемые ими логические выражения

2. Получим систему логических уравнений, которую решаем
методом подстановки, начиная с выходного элементарного автомата:

3. Составим таблицу истинности С этой целью запишем в СДНФ, для чего домножим первый член на

Получили три конъюнктивных члена, которые являются констиру-ентами единицы, т.е. будет принимать значение единицы три раза на наборах аргументов, соответствующих конъюнктивным членам СДНФ. По выражению заполняем столбец .

4. Упрощение полученного выражения и нахождение тупиковой формулы. Из выражения следует, что, вынося X₃ за скобки применяя к выражению в скобках 2-й распределительный закон получим тупиковую формулу

Можно тупиковую формулу получить и из выражения СДНФ. На основании основных соотношений алгебры логики в формуле можно добавить любое число конъюнктивных членов, входящих в исходное выражение. Добавив конъюнктивный член Х₁Х₂Х₃ и проведя операции

выноса за скобки, получим

По данному выражению можно построить автомат, который реализует ту же функцию Y, но имеет значительно более простую структуру, состоящую только из двух элементарных автоматов.