Combining with ATHEANA,the possible to identify EFCs and UAs using DFM is studied;and then Steam Generator Tube Rupture(SGTR) accident is modeled and solved.Through inductive analysis,26 Prime Implicants(PIs) are obtained and the meaning of results is interpreted;and one of PIs is similar to the accident scenario of human failure event in one nuclear power plant.Finally,this paper discusses the methods of quantifying PIs,analysis of Error of commission(EOC) and so on.