結果

問題 No.2090 否定論理積と充足可能性
ユーザー MasKoaTSMasKoaTS
提出日時 2022-09-30 21:59:35
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 36 ms / 2,000 ms
コード長 438 bytes
コンパイル時間 170 ms
コンパイル使用メモリ 82,072 KB
実行使用メモリ 53,468 KB
最終ジャッジ日時 2024-06-02 05:37:07
合計ジャッジ時間 1,504 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 33 ms
53,000 KB
testcase_01 AC 36 ms
52,432 KB
testcase_02 AC 36 ms
52,092 KB
testcase_03 AC 35 ms
52,124 KB
testcase_04 AC 34 ms
53,468 KB
testcase_05 AC 34 ms
52,272 KB
testcase_06 AC 34 ms
52,216 KB
testcase_07 AC 34 ms
52,492 KB
testcase_08 AC 35 ms
52,212 KB
testcase_09 AC 34 ms
52,556 KB
testcase_10 AC 34 ms
52,552 KB
testcase_11 AC 33 ms
53,164 KB
testcase_12 AC 34 ms
52,660 KB
testcase_13 AC 34 ms
53,100 KB
testcase_14 AC 33 ms
53,228 KB
testcase_15 AC 33 ms
52,244 KB
testcase_16 AC 34 ms
52,072 KB
testcase_17 AC 34 ms
52,532 KB
testcase_18 AC 34 ms
51,940 KB
testcase_19 AC 33 ms
52,616 KB
権限があれば一括ダウンロードができます

ソースコード

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")
0