結果

問題 No.2090 否定論理積と充足可能性
ユーザー MasKoaTSMasKoaTS
提出日時 2022-09-30 21:59:35
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 42 ms / 2,000 ms
コード長 438 bytes
コンパイル時間 189 ms
コンパイル使用メモリ 82,140 KB
実行使用メモリ 52,224 KB
最終ジャッジ日時 2024-12-22 23:37:47
合計ジャッジ時間 1,764 ms
ジャッジサーバーID
(参考情報)
judge1 / judge4
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
other AC * 20
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

import sys
input = sys.stdin.readline
def Nand(a, b):
if(a == 1 and b == 1):
return 0
return 1
a = list(map(int, input().split()))
lis = sorted(set(a))
ans = False
for bit in range(1 << len(lis)):
var = {}
for i, k in enumerate(lis):
var[k] = (bit >> i) & 1
if(Nand(Nand(Nand(var[a[0]], var[a[1]]), var[a[2]]), Nand(Nand(var[a[3]], var[a[4]]), var[a[5]])) == 1):
ans = True
break
if(ans):
print("YES")
else:
print("NO")
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0