結果

問題 No.792 真理関数をつくろう
コンテスト
ユーザー flippergo
提出日時 2026-06-17 08:15:20
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 224 ms / 2,000 ms
コード長 692 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 191 ms
コンパイル使用メモリ 85,260 KB
実行使用メモリ 301,232 KB
最終ジャッジ日時 2026-06-17 08:15:36
合計ジャッジ時間 2,920 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge3_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 22
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

D = ["∧","∨","¬","⊥","⊤"]
N = int(input())
ans = "A="
X = []
for i in range(1<<N):
    x = [0]+list(map(int,input().split()))
    X.append(x)
    if x[-1]==0:continue
    if x[1]==0:
        s = D[2]+"P_1"
    else:
        s = "P_1"
    for j in range(2,N+1):
        if x[j]==0:
            s += D[0]+D[2]+f"P_{j}"
        else:
            s += D[0]+f"P_{j}"
    if ans=="A=":
        ans += "("+s+")"
    else:
        ans += D[1]+"("+s+")"
flag = 1
for i in range(1<<N):
    if X[i][-1]==0:
        flag = 0
        break
if flag==1:
    ans = "A="+D[4]
flag = 1
for i in range(1<<N):
    if X[i][-1]==1:
        flag = 0
        break
if flag==1:
    ans = "A="+D[3]
print(ans)
0