用产生式系统来描述一个具体问题。设字符转换问题规则如下：1.A∧B→C；2.A∧C→D；3.B∧C→G；4.B∧E→F；5.D→E；已知：A，B求：F。设综合数据库用集合{x}表示，其中x为字符。采用顺序排队的控制策略。初始状态{A，B}。为了得到F，最后执行的被触发规则是（）

• A、5.IF-D-THEN-E
• B、2.IFA∧CTHEN-D
• C、3.IFB∧CTHEN-G
• D、4.IFB∧ETHEN-F