結果

問題 No.2090 否定論理積と充足可能性
コンテスト
ユーザー Akari
提出日時 2022-09-30 22:30:52
言語 Python3
(3.15.0 + numpy 2.5.4 + scipy 1.18.1 + ACL)
コンパイル:
python3 -mpy_compile _filename_
実行:
python3 _filename_
結果
AC  
実行時間 20 ms / 2,000 ms
+ 792µs
コード長 232 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 56 ms
コンパイル使用メモリ 15,232 KB
実行使用メモリ 11,008 KB
最終ジャッジ日時 2026-10-06 05:57:26
合計ジャッジ時間 1,977 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge4_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
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