Logic 交换产生式系统

对于以下生产系统，我如何测试和证明它们是否是可交换的

生产系统1

知识库：

如果是A&B，那么是C

如果C然后D

如果是A&D，那么是E

初始工作记忆：{A，B}

生产系统2

知识库：

如果是A&B，那么是C

如果X&Y，那么C

如果A那么E

如果B那么F

---

初始工作记忆：{A，B，X，Y}

我认为您缺少了更多的标记。添加了一些相关的标记：）。你能再建议一些吗？你说的交换是什么意思？我想你少了一些标签。添加了一些相关的标签：）。你能再提一些吗？你说的交换是什么意思？