結果

問題 No.792 真理関数をつくろう
コンテスト
ユーザー toshiro_yanagi
提出日時 2019-02-24 19:15:53
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
WA  
実行時間 -
コード長 973 bytes
コンパイル時間 286 ms
コンパイル使用メモリ 12,672 KB
実行使用メモリ 10,880 KB
最終ジャッジ日時 2024-12-23 12:52:14
合計ジャッジ時間 2,239 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 7 WA * 13 RE * 2
権限があれば一括ダウンロードができます

ソースコード

diff # 

n = int(input())

ans = [[] for _ in range(n ** 2)]

not_all_ok_flg = False
not_all_ng_flg = False

for i in range(len(ans)):
    tmp = [int(x) for x in input().split()]
    q = [tmp[i] for i in range(n)]
    r = tmp[-1]

    if r == 1:
        ans[i] = [False for _ in range(n)]
        for j, v in enumerate(q):
            if v == 1:
                ans[i][j] = True
        not_all_ng_flg = True
    else:
        not_all_ok_flg = True

print("A=", end="")
if not not_all_ng_flg:
    print("⊥")
elif not not_all_ok_flg:
    print("⊤")
else:
    flg = False
    for ans_i in ans:
        if len(ans_i) == 0:
            continue
        if flg:
            print("∨", end="")
        print("(", end="")
        for j, v in enumerate(ans_i):
            if j != 0:
                print("∧", end="")
            if not v:
                print("¬", end="")
            print("P_", j + 1, sep="", end="")
        print(")", end="")
        flg = True
    print()
0