例2花色(C1,红桃)A花色(C2,红桃)A花色(C3,红 桃)A花色(C4红桃)-→同花(C1,C2,C3,C4) 规则1：花色(C1,x)入花色(C2,x)入花色(C3,X)A花 色(C4,x)-→同花(C1,C2,C3,C4) 。舍弃条件：舍去某些无关子条件 花色(C1,红桃)入点数(C12)人 花色 (C2,红桃) ∧点数 (C2,4)N 花色(C3,红桃) ∧点数 (C3,6)入 花色 (C4,红桃)∧点数 (C4,8)A →同花 (C1,C2,C3,C4) 点数与同花无关，点数舍去，红桃用x代替。 如同规则1 例2 花色(C1,红桃)花色(C2,红桃)花色(C3, 红 桃)花色(C4,红桃)→同花（C1,C2,C3,C4） 规则1：花色(C1,x)花色(C2,x)花色(C3,x)花 色(C4,x)→同花（C1,C2,C3,C4） • 舍弃条件：舍去某些无关子条件 花色（C1,红桃）点数（C1,2） 花色（C2,红桃）点数（C2,4） 花色（C3,红桃）点数（C3,6） 花色（C4,红桃）点数（C4,8） →同花（C1,C2,C3,C4） ∵点数与同花无关，点数舍去，红桃用x代替。 如同规则1