Главная arrow книги arrow Копия Глава 8. Логика первого порядка arrow Проблемная область электронных схем
Проблемная область электронных схем

Передача запросов процедуре логического вывода

Какая комбинация входов вызовет появление 0 на первом выходе схемы С1 (бит суммы) и появление 1 на втором выходе схемы С1 (бит переноса)?

Ответами являются такие подстановки значений вместо переменных i1? i2 и i3, что результирующее высказывание следует из базы знаний. Существуют три такие подстановки:

Каковы возможные множества значений сигналов на всех клеммах этой схемы сумматора?

Этот последний запрос должен вернуть полную таблицу входов и выходов для данного устройства, которая может использоваться для проверки того, действительно ли эта схема правильно складывает свои входные данные. Это — простой пример проверки схемы. Можно также применять приведенное здесь определение данной схемы для создания более крупных цифровых систем, для которых может осуществляться процедура проверки такого же рода (см. упр. 8.17). Для структурированной разработки базы знаний такого же рода подходят многие проблемные области, в которых более сложные понятия определяются на основе более простых понятий.