adplus-dvertising
frame-decoration

Question

Which of the following is also known as equivalence checker?

a.

BDD

b.

FOL

c.

Tautology checker

d.

HOL

Posted under Embedded Systems

Answer: (c).Tautology checker

Engage with the Community - Add Your Comment

Confused About the Answer? Ask for Details Here.

Know the Explanation? Add it Here.

Q. Which of the following is also known as equivalence checker?