Início / coding / Perguntas / 79275745
Accepted
user3765883
Asked: 2024-12-12 23:49:09 +0800 CST

Expressão booleana estranha

  • 772

Estou tentando depurar (reescrever?) o aplicativo web Python/cherrypy de outra pessoa e me deparei com a seguinte instrução 'if':

if not filename.endswith(".dat") and (
    filename.endswith(".dat") or not filename.endswith(".cup")
):
    raise RuntimeError(
        "Waypoint file {} has an unsupported format.".format(
            waypoint_file.filename
        )
    )

Acho que isso é o mesmo que:

if not A and (A or not B):

Se sim, então:

  • se A = False, então reduz-se aif True and (False or not B):

    • if True and not B=not B

  • se A = True, então reduz para if False:ou seja, o ifbloco nunca será executado

Tenho quase certeza de que a intenção do ifbloco é avisar o usuário que a extensão do arquivo em questão não é .DATnem .CUP, mas não me parece que ele realmente execute essa intenção.

Acho que o ifbloco deveria ser:

if(not .DAT and not .CUP) = if not(.DAT or .CUP)

Isso está correto?

python

2 respostas

  1. Best Answer

    Como você tem duas variáveis ​​que podem ter apenas um de dois valores, você pode testar facilmente cada caso, por exemplo, fazendo

    for a in [False, True]:
    for b in [False, True]:
        print(a, b)
        if not a and (a or not b):
            print("Condition hold")
        else:
            print("Condition does not hold")

    que dá saída

    False False
Condition hold
False True
Condition does not hold
True False
Condition does not hold
True True
Condition does not hold

    Como você pode ver, isso só é válido quando ambos são falsos, portanto é equivalente a

    if not a and not b:

    Porém neste caso em particular você nem precisa de 2 condições, como endswithargumento

    também pode ser uma tupla de sufixos para procurar

    portanto você pode escrever

    if not filename.endswith((".dat", ".cup")):
    print("Unsupported format")
    • 2

  2. Até onde vejo, para que a segunda expressão seja relevante para a afirmação, a primeira

    Not A

    tem que ser verdadeiro. Portanto, A é falso.

    Portanto, a segunda afirmação se parece com isto:

    False Or Not B

    Para que a segunda afirmação também seja verdadeira, B tem que ser falso.

    Então é uma maneira complicada de dizer:

    Not A and Not B

    , que pela Lei de De Morgan implica Não (A ou B)

    • 0

relate perguntas