(2)矛盾、从属及环路的检测
例 r1:IF A1 THEN A2
r2:IF A2 THEN A3
r3:IF A3 THEN A4
r4:IF A1 THEN A5
r5:IF A5 THEN 非A4
r6:IF A3 AND A6 THEN A7
r7:IF A6 THEN A7
r8:IF A5 THEN A8
r9:IF A8 THEN A9
r10:IF A9 THEN A5

点击看大图