Verification/RS method to check a formula in the propositional calculus is a tautology

Question

I have prepared a program to check tautology. I have used:

1. replacing iff
2. replacing implies
3. de Morgan rule
4. Simplification.