結果

問題 No.2090 否定論理積と充足可能性
コンテスト
ユーザー MasKoaTS
提出日時 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")
0