結果

問題 No.792 真理関数をつくろう
コンテスト
ユーザー ssmkzk
提出日時 2020-07-07 15:49:54
言語 Python3
(3.14.3 + numpy 2.4.4 + scipy 1.17.1)
コンパイル:
python3 -mpy_compile _filename_
実行:
python3 _filename_
結果
AC  
実行時間 881 ms / 2,000 ms
コード長 492 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 332 ms
コンパイル使用メモリ 20,828 KB
実行使用メモリ 16,772 KB
最終ジャッジ日時 2026-04-17 09:04:54
合計ジャッジ時間 4,993 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge2_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 22
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

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