Find Symptom Using Unit Propagation A=1 true 0=C A=1 (F=1)y-(F=0) (O1=G)v-(A=1)vX-1+X=1 true F=1 F=1 AIG+(Al=G)V(X-1)V=(Y=I)VF=1 F=l (02=G)-(B=1)Y=1+y=1 true 02=G B=1 10/03/03 copyright Brian Williams, 200310/03/03 copyright Brian Williams, 2003 8 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) B=1 O1=G B=1 true O2=G A=1 A=1 true X=1 Y=1 A1=G F=1 F=1 F=1 true