Алгоритм упрощения электрических схем
1. Составляем для данной электрической схемы S сответствующую эй формулу алгебры высказываний F.
2. Полученную формулу F с помощью равносильных преобразований приводим к более простой формуле F1.
3. Для формулы F1 составляем соответствующую электрическую схему S1, которая и будет упрощенной схемой для S.
Пример. Упростить, если возможно, электрическую схему S.
В соответствии с записанным алгоритмом производим работы.
1. Составляем для схемы S соответсвующую формулу F
S
2. Упрощаем полученную формулу F
3. Для формулы составляем соответствующую схему S1
X1
S1
X2
Заметим, что алгебра высказываний позволяет не только упрощать электрические схемы, но и анализировать работу таких схем на основании следующего алгоритма. Чтобы установить, при работе каких приборов данная схема S проводит или не проводит ток, поступают так.
1. Составляют для данной схемы S соответствующую ей формулу алгебры высказываний F.
2. Для полученной формулы F составляют таблицу истинности.
3. Анализируя таблицу истинности, устанавливают, при работе каких приборов данная схема работает или не работает.
Yandex.RTB R-A-252273-3
- Пособие по дисциплине
- Пособие по дисциплине
- Оглавление
- Глава I. Алгебра высказываний.
- Предисловие
- Введение
- Глава I. Алгебра высказываний.
- § 1. Высказывания и логические операции над ними.
- § 2. Формулы алгебры высказываний и их истинностное значение.
- § 3. Основные виды формул алгебры высказываний. Законы формул алгебры высказываний.
- § 4. Равносильность формул алгебры высказываний и ее свойства.
- § 5. Основные равносильности формул алгебры высказываний.
- § 6. Конъюнктивные и дизъюнктивные нормальные формы формул алгебры высказываний.
- § 7. Проблема установления вида формул алгебры высказываний.
- § 8. Совершенные конъюнктивные и дизъюнктивные нормальные формы формул алгебры высказываний.
- § 9. Применение алгебры высказываний к анализу и синтезу электрических схем.
- Алгоритм упрощения электрических схем
- § 10. Приложение алгебры высказываний к вопросам школьной математики.
- Глава II. Алгебра предикатов
- § 1. Определение n-местного предиката и его основных видов.
- § 2. Логические операции над предикатами и их свойства.
- § 3. Связанные и свободные переменные. Свойства операций навешивания кванторов.
- § 4. Формулы алгебры предикатов и их основные виды.
- § 5. Равносильность формул алгебры предикатов. Основные равносильности алгебры предикатов.
- § 6. Приведенные и предваренные формы предикатных формул.
- Рекомендуемая литература