結果

問題 No.2090 否定論理積と充足可能性
コンテスト
ユーザー Akari
提出日時 2022-09-30 22:30:52
言語 Python3
(3.14.3 + numpy 2.4.4 + scipy 1.17.1)
コンパイル:
python3 -mpy_compile _filename_
実行:
python3 _filename_
結果
AC  
実行時間 116 ms / 2,000 ms
コード長 232 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 533 ms
コンパイル使用メモリ 20,572 KB
実行使用メモリ 15,360 KB
最終ジャッジ日時 2026-05-29 03:07:14
合計ジャッジ時間 3,596 ms
ジャッジサーバーID
（参考情報） 		judge3_1 / judge2_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 20
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

def main():
    A = list(map(int, input().split()))
    def check(a, b, c):
        if a != b: return True
        return a != c
    print('YES' if check(*A[:3]) or check(*A[3:]) else 'NO')





if __name__ == '__main__':
    main()
0