Find Symptom Using Unit Propagation 0=C A=1 (F=1)y-(F=0) (O1=G)v-(A=1)vX-1+X=1 F=1 F A=G→+A1=0X-1)Y-Y=1)VF=1 (02=G)-(B=1)Y=1+y=1 02=G B=1 10/03/03 copyright Brian Williams, 2003 710/03/03 copyright Brian Williams, 2003 7 Find Symptom Using Unit Propagation (O1=G) (A=1) X=1 (A1=G) (X=1) (Y=1) F=1 (O2=G) (B=1) Y=1 O1=G (F=1) (F=0) O2=G B=1 A=1 X=1 Y=1 A1=G F=1 F=1