Answer Happy
Accurate answers. Every time.
https://answerhappy.com/
Which of the following is also known as equivalence checker?
https://answerhappy.com/viewtopic.php?t=752189
Page
1
of
1
Which of the following is also known as equivalence checker?
Posted:
Thu Jul 14, 2022 9:24 am
by
answerhappygod
a) BDD
b) FOL
c) Tautology checker
d) HOL