методичка мат лог
Анализ релейно-контактных схем. Упражнения.
7 .1. Найдите функции проводимости следующих релейно-контактных схем:
а)
б)
в)
г)
7.2. Постройте релейно-контактные схемы с заданными функциями проводимости:
а) (x,y)= x((yz)xy);
б) (x,y,z,u)=((xy)((yz)x))(uz);
в) (x,y,z)=(x((yz)(yz)))(x((yz)(yz)));
г) (x,y,z)=(xy)(x(yz));
д) (x,y,z)=(x(yz))(yx);
е) (x,y,z)= (x(yz))((xy)z.)
7 .3. Проверьте равносильность следующих релейно-контактных схем:
a)
xz
y
б)
в )
y
г)
д)
е)
7 .4. Упростите следующие релейно-контактные схемы:
а)
б)
в)
г)
д )
Содержание
- Хакасский государственный университет им. Н.Ф.Катанова математическая логика
- Содержание
- Литература.
- Введение.
- Алгебра высказываний.
- §1. Высказывания и операции над ними.
- Упражнения.
- §2. Формулы алгебры высказываний. Виды формул.
- Упражнения.
- §3 Логическое следствие
- Основные методы установления верности логического следствия:
- Упражнения
- §4 Равносильность формул алгебры высказываний.
- Упражнения
- §5 Нормальные формы для формул алгебры высказываний.
- Отыскание нормальных форм Упражнения.
- Применение нормальных форм.
- Нахождение следствий из посылок.
- Нахождение посылок для данных следствий.
- § 6. Булевы функции (функции алгебры логики).
- Классы булевых функций.
- Упражнения.
- §7. Алгебра логики и релейно-контактные схемы.
- Анализ релейно-контактных схем. Упражнения.
- Синтез релейно-контактных схем.
- §8. Особые методы минимизации.
- Графический метод.
- М атрица Карно.
- Метод неопределенных коэффициентов.
- М етод минимизирующих карт.
- М етод Квайна.
- Упражнения.
- Примерные варианты контрольных работ.