Question d’entretien chez NVIDIA

What does logic equavivalence check do?