Find Symptom Using Unit Propagation O1=G A= A true true 01=GA= (F=1)-(F=0 true 01=G)-(A=1)VX=1+X=1 true true F=1 F=1 M=→Al=Gy(X=y(x)VF true true (02=G)V-(B=1)Y=1+y=1 true true 02=GB= O2=G 10/03/03 copyright Brian Williams, 200310/03/03 copyright Brian Williams, 2003 11 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 (F=1) (F=0) O1=G B=1 O1=G true B=1 true O2=G O2=G true A=1 A=1 true X=1 true Y=1 true A1=G A1=G true F=1 true F=1 F=1 true