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

162 7.2. Среда логических электронных схем элемент_ИЛИ (О, О, О), элемент_ИЛИ (О, 1,1), элемент_ИЛИ (1,0, 1), элемент_ИЛИ (1, 1, 1). Предикат элемент_ИСКЛ_ИЛИ {вход, вход, выход) истинен только при следующих значениях своих переменных: элемент_ИСКЛ_ИЛИ (0, 0, 0), элемент_ИСКЛ_ИЛИ (О, 1,1), элемент_И€КЛ_ИЛИ (1, 0, 1), элемент^ИСКЛ_ИЛИ (1, 1,0). Теперь осталось представить весь сумматор как единое целое, имеющий в соответствии со схемой на рис. 7. 1 три входа и два выхода. Для этого, используя уже введенные переменные, введем предикат j сумматор (вход, вход, вход, выход, выход). Предикат сумматор будет истинным, когда значения выходных переменных j вычисляются в соответствии со схемой соединений логических элементов j