結果

問題 No.792 真理関数をつくろう
コンテスト
ユーザー ssmkzk
提出日時 2020-07-07 15:49:54
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
TLE  
(最新)
AC  
(最初)
実行時間 -
コード長 492 bytes
コンパイル時間 174 ms
コンパイル使用メモリ 12,544 KB
実行使用メモリ 19,192 KB
最終ジャッジ日時 2024-10-01 08:36:47
合計ジャッジ時間 5,405 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample -- * 4
other AC * 21 TLE * 1
権限があれば一括ダウンロードができます

ソースコード

diff # 

N = int(input())
count = 0

line = 2 ** N
ans = ""
for i in range(line):
    l = list(map(int, input().split()))
    if l[-1] == 1:
        ans += "("
        for j in range(N):
            if l[j] == 1:
                ans += "P_" + str(j + 1) + "∧"
            else:
                ans += "¬P_" + str(j + 1) + "∧"
        ans = ans[:-1]
        ans += ")∨"
        count += 1

if count == 0:
    print("A=⊥")
elif count == line:
    print("A=⊤")
else:
    print("A=" + ans[:-1])
0