Python True判定の理由

Question

バイオインフォについて勉強していて、遺伝子の有無を判定するコードを作っています。
下記のリストに於いて、一番初めの要素がATG、かつ一番最後の要素がTAA, TGA, TAGのいずれかの場合に限り「aaa」と出力されるようにしたいです。
しかし、下記の状態では一番最後の要素はTTAでありながら、なぜ３行目の右辺のand以降がTrue判定されるのかわかりません。
お知恵をお貸しいただけますと幸いです。よろしくお願いいたします。

l = ['ATG', 'AGA', 'AGC', 'TGT', 'GCA', 'AAT', 'GCA', 'TTA']
if (l[0] =="ATG" and (l[-1] == "TAA" or "TGA" or "TAG")):
    print("aaa")
else:
    print("aa")
#「aa」と出力される筈が、「aaa」と出力されてしまう

試したこと

2行目のTGAとTAGにTAAと同じような式を繋げたところ、aaと返ってきました。

if (l[0] =="ATG" and (l[-1] == "TAA" or l[-1] == "TGA" or l[-1] == "TAG")):
    print("aaa")
else:
    print("aa")

補足情報（FW/ツールのバージョンなど）

iOS10.14.6 Python3.7.4

Comments

[meg_]

「同じような式」とは何ですか？　こちらも掲載した方が分かりやすいと思います。

[phill]

質問文を訂正しました。
ご確認いただけますと幸いです。

Answer 1

or の左が「真」の場合、左の値を返す
or の左が「偽」の場合、右の値を返す

l[-1] == "TAA" or "TGA" or "TAG"　は
→　False or "TGA" or "TAG"
→　"TGA" or "TAG"
→　"TGA"
となります。

Answer 2

or内にて記述している"TGA"部分が評価されてTrueを返しているからです。
以下のような単純コードで評価結果を確認できます。

if "TGA":
    print('常にTrue')

if (l[0] =="ATG" and (l[-1] == "TAA" or l[-1] == "TGA" or l[-1] == "TAG")):
または簡単にin演算子を使って
if (l[0] =="ATG" and (l[-1] in ["TAA","TGA","TAG"])):
と修正すれば意図した動作になるかと思います。

Comments

[phill]

ご回答ありがとうございます。
’TGA’部分の評価で確認できたことに気づきませんでした。
in演算子を使えば容易に意図した動作になるので、よかったです。
今回はありがとうございました。

Answer 3

l[-1] == "TAA" or "TGA" or "TAG"

は、

l[-1] == "TAA" が真であるか？
 or
"TGA" が真であるか？
 or 
"TAG" が真であるか？

という意味です。

意図通りにするには、例えば、

l[-1] == "TAA" or l[-1] == "TGA" or l[-1] == "TAG")

のように書く必要があります。

Comments

[phill]

ご回答ありがとうございます。
丁寧に説明ありがとうございます、納得がいきました。
今回はありがとうございました。