Which of the following is also known as equivalence checker?

• A. BDD
• B. FOL
• C. Tautology checker
• D. HOL