Formal reliability analysis of combinational circuits using theorem proving