Искусственный интеллект

рис. 7.1 и их таблицами истинности. Для строгого определения этого правила j вычисления значений выходных переменных по значениям входных введем аксиому элемент_ИСКЛ_ИЛИ (х,, х2, yt) л элемент_ИСКЛ_ИЛИ (у,, хг, г,) л л элемент_И (хх, х2, уг) л элемент_И (JC3, yv у3) л л элементИЛИ (yv yv zj => сумматор (хр xv x3, г,, ^)- На этом описание двоичного сумматора завершается и можно его использовать для анализа корректности схемы, для чего необходимо сформулировать задачи анализа в виде целей, которые требуется достичь. 7.2.3. Формулировка целей анализа Типичными целями (вопросами) анализа для логических схем являются следующие. Если известны значения сигналов на выходах схемы, то какие значения сигналов на входах схемы? Если известны значения сигналов на входах схемы, то какие значения сигналов будут на выходах схемы?