上記コードの==は比較演算子です。比較演算子は、2つの値を比べて真偽値(true/false)を返します。(右の式)左の式と右の式が両方ともtrueの場合、trueになります。それ以外はfalseです。論理演算子はブール演算子とも呼ばれます。OKが出力されるelse:print("NG")5行目は、左の式と右の式が共にtrueなので、trueになります。10行目は、5行目と同じ意味になります。(右の式)左の式または右の式のどちらかがtrueの場合、trueになります。論理演算子はブール演算子とも呼ばれます。OKが出力されるelse:print("NG")5行目は、左の式はfalseですが右の式がtrueなのでtrueになります。条件式)条件式がfalseの場合にtrueになります。条件式がtrueの場合にfalseになります。p2が出力される4行目は値の比較でfalseになり、それを否定するのでtrueになります。7行目は値の比較でtrueになり、それを否定するのでfalseになります。