产生式表示法的主要优点有（）、（）、（）、（）。

产生式系统中，推理机即控制系统由一组程序组成，负责整个产生式系统的运行，实现对问题的求解。推理机要做以下几项工作：①从规则库中选择与综合数据库中的已知事实进行匹配。称为（）；②匹配成功的规则可能不止一条，按一定的策略从匹配成功的多个知识中挑选出一个知识用于当前的推理的过程称为（）；③如果其右部是一个或多个结论，则把这些结论加入到综合数据库中：如果其右部是一个或多个操作，则执行这些操作，称为（）；④检查综合数据库中是否包含了最终结论，决定是否停止系统的运行，称为检查推理终止条件。 点击查看答案

公式P∨￢P等价于（）。 点击查看答案