The report generated by TANK program does not show any formulaes used . It only refers to the Clause number of the formula. Is there any option to show the formula in report.
But PVElite which is your own software shows all the formulas used in the analysis.

TANK does not provide "forumulas with substitutions". The closest you can come to this is to review the "Solution Module TXT File", which is one of the report options on the Output Menu.

hi
can u tell me the procedure of using Tank i.e. how we use and wat r the criteria to check the result

Download the "demo", and review the examples (both input and output). This will give you a complete overview of what the program does, the input required, and the output produced.