Qual a diferença?

Olá Rafael,

Na prática, nenhuma diferença. Ambas as condições dentro do while serão avaliadas de forma igual (se enforcou e acertou forem True a condicional dentro do while será False enquanto que se forem False a condicional será True).

Acho o primeiro while melhor, por ser mais legível. É mais fácil identificar o que você quer fazer. O segundo, com o uso de negações not fica mais difícil de entender, isto é, precisa parar pra pensar alguns segundos a mais.

acertou = False
enforcou = False
enforcou == False and acertou == False
True
not enforcou and not acertou
True

acertou = True
enforcou = True
enforcou == False and acertou == False
False
not enforcou and not acertou
False

Espero ter ajudado!

Artur Baruchi (Twitter @abaruchi)