算法来表示这些规则