結果

問題 No.792 真理関数をつくろう
コンテスト
ユーザー beet
提出日時 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 #
raw source code 

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