You can construct formulae where it is ambiguous, but that requires a ambiguous refactoring of a product. Which ends up being really obviously ambiguous and weird looking anyway!