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

7.2.2. Создание модели сумматора Приступим к выбору имен функций, предикатов, переменных и констант, которые мы будем использовать для описания схемы. Каждый проводник схемы, соединяющий в единое целое группы входов и выходов логических элементов, сопоставим со своей переменной (см. рис. 7. 1). Все такие соединения схемы поделим на три группы, сопоставив им следующие переменные: переменные х,, х2, ху соответствующие соединениям, одновременно являющимся входами схемы, переменные zv Z2, соответствующие соединениям, являющимся одновременно выходами схемы, переменные у,, у2, у3, соответствующие соединениям, не являющимся входами или выходами схемы (все введенные переменные показаны на рис. 7.1 рядом с соответствующими им соединениями). Каждый логический элемент в схеме сумматора имеет два входа и один выход. Поэтому для каждого типа логического элемента (И, ИЛИ, ИСКЛ_ИЛИ) определим свой трехместный предикат