結果

問題 No.2090 否定論理積と充足可能性
ユーザー googol_S0googol_S0
提出日時 2022-09-30 21:25:01
言語 PyPy3
(7.3.15)
結果
RE  
実行時間 -
コード長 289 bytes
コンパイル時間 432 ms
コンパイル使用メモリ 86,164 KB
実行使用メモリ 78,628 KB
最終ジャッジ日時 2023-08-24 14:34:07
合計ジャッジ時間 5,541 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 72 ms
70,904 KB
testcase_01 AC 71 ms
70,980 KB
testcase_02 RE -
testcase_03 AC 71 ms
70,684 KB
testcase_04 AC 72 ms
71,208 KB
testcase_05 RE -
testcase_06 AC 72 ms
71,204 KB
testcase_07 RE -
testcase_08 RE -
testcase_09 RE -
testcase_10 AC 72 ms
71,024 KB
testcase_11 RE -
testcase_12 RE -
testcase_13 RE -
testcase_14 RE -
testcase_15 RE -
testcase_16 RE -
testcase_17 RE -
testcase_18 RE -
testcase_19 RE -
権限があれば一括ダウンロードができます

ソースコード

diff # 

A=list(map(int,input().split()))
S=sorted(set(A))
D=dict()
for i in range(len(S)):
  D[S[i]]=i
def f(x,y):
  return 1^(x&y)

for i in range(1<<6):
  x=[(i>>j)&1 for j in range(6)]
  if f(f(f(x[A[0]],x[A[1]]),x[A[2]]),f(f(x[A[3]],x[A[4]]),x[A[5]])):
    print('YES')
    exit()
print('NO')
0