根据规则的定义提取出的规则

本文的算法生成强限制决策蕴含

本文算法约简后

规则的输出

(冗余)