結果

問題 No.792 真理関数をつくろう
ユーザー beetbeet
提出日時 2019-02-22 21:44:15
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 141 ms / 2,000 ms
コード長 690 bytes
コンパイル時間 247 ms
コンパイル使用メモリ 82,760 KB
実行使用メモリ 78,688 KB
最終ジャッジ日時 2024-11-25 07:56:41
合計ジャッジ時間 2,654 ms
ジャッジサーバーID
(参考情報)
judge4 / judge3
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 4
other AC * 22
権限があれば一括ダウンロードができます

ソースコード

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

n = int(input())
l = 2 ** n
a = [list(map(int, input().split())) for i in range(l)]
p = [x[:n] for x in a]
q = [x[n] for x in a]
s = sum(q)
if s == l:
print("A=⊤")
elif s == 0:
print("A=⊥")
else:
print("A=",end="")
f1 = False
for i in range(l):
if q[i] == 1:
if f1:
print("∨",end="")
f1 = True
print("(",end="")
for j in range(n):
if j != 0:
print("∧",end="")
if p[i][j] == 0:
print("¬",end="")
print("P_{}".format(j+1),end="")
print(")",end="")
print()
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0