Isso mesmo Daniel seu raciocínio está correto. Da forma que eu expliquei foi para obter um resultado mais rápido. Como o AND está interno e o OR está externo ao AND, seja o resultado da primeira ou segunda condição verdadeiro o resultado sempre será verdadeiro.
