Question

Which of the following is also known as equivalence checker?

(a) BDD

(b) FOL

(c) Tautology checker

(d) HOL

This question was posed to me in an international level competition.

I need to ask this question from Formal Verification in chapter Validation of Embedded Systems

Answer 1

Right choice is (c) Tautology checker

For explanation I would say: The propositional logic technique consists of the boolean formulas and the boolean function. The tools used in this type of logic is the tautology checker or the equivalence checker which in turn uses the BDD or the binary decision diagrams.