Which are needed to compute the logical inference algorithm?

• A. Logical equivalence
• B. Validity
• C. Satisfiability
• D. All of the mentioned