Представьте пример (в виде таблицы) логического вывода и управления выводом по образцу продукций, записанных в виде формул пропозиционной логики с заданными БЗ, БД стратегией разрешения конфликтов. Порядок сопоставления правил соответствует номерам. Изобразите также граф решения задачи.
Прямой вывод, перебор равных цен
Есть пример обратного вывода, если нужно скину