Sim, sua interpretação está correta. Nas linhas que você mencionou:
enforcou = erros == 6
acertou = "" not in letras_acertadas
A expressão erros == 6 é uma condição que verifica se o número de erros é igual a 6. Se essa condição for verdadeira, a variável enforcou receberá o valor True.
A expressão "" not in letras_acertadas verifica se a string vazia não está presente na lista letras_acertadas. Se essa condição for verdadeira, a variável acertou receberá o valor True.
Portanto, sua interpretação está correta: "Se erros for igual a 6, enforcou recebe True" e "Se '_' não estiver em letras_acertadas, acertou recebe True."