Correct Answer : All of the above
Explanation : Logical inference algorithm can be solved be using logical equivalence, Validity and satisfiability.