Pergunta de entrevista da empresa NVIDIA

What does logic equavivalence check do?