#803287 (Python3) No.2090 否定論理積と充足可能性

• 問題: No.2090 否定論理積と充足可能性
• ユーザー: a a
• 提出日時: 2022-09-30 23:38:50
• 言語: Python3 (3.12.2 + numpy 1.26.4 + scipy 1.12.0)
• 結果: WA
• 実行時間: -
• コード長: 161 bytes
• コンパイル時間: 215 ms
• コンパイル使用メモリ: 10,608 KB
• 実行使用メモリ: 7,952 KB
• 最終ジャッジ日時: 2023-08-24 17:12:45
• 合計ジャッジ時間: 1,415 ms
• ジャッジサーバーID （参考情報）: judge12 / judge11

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	16 ms; 7,868 KB
testcase_01	AC	14 ms; 7,868 KB
testcase_02	WA	-
testcase_03	AC	14 ms; 7,776 KB
testcase_04	AC	15 ms; 7,816 KB
testcase_05	AC	15 ms; 7,772 KB
testcase_06	AC	15 ms; 7,800 KB
testcase_07	AC	15 ms; 7,820 KB
testcase_08	AC	15 ms; 7,840 KB
testcase_09	AC	15 ms; 7,716 KB
testcase_10	AC	15 ms; 7,772 KB
testcase_11	AC	15 ms; 7,800 KB
testcase_12	AC	14 ms; 7,924 KB
testcase_13	AC	15 ms; 7,868 KB
testcase_14	AC	17 ms; 7,780 KB
testcase_15	AC	14 ms; 7,936 KB
testcase_16	AC	15 ms; 7,796 KB
testcase_17	AC	15 ms; 7,868 KB
testcase_18	AC	16 ms; 7,864 KB
testcase_19	AC	15 ms; 7,712 KB

ソースコード

x=list(map(int,input().split()))
y=0
for i in x:
    if i==x[2] or i==x[5]:
        y+=0
    else:
        y+=1
if y>=1:
    print ("YES")
else:
    print ("NO")