Stronger tests for logical equivalence