結果
問題 | No.792 真理関数をつくろう |
ユーザー |
|
提出日時 | 2019-02-22 22:30:12 |
言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) |
結果 |
AC
|
実行時間 | 63 ms / 2,000 ms |
コード長 | 607 bytes |
コンパイル時間 | 160 ms |
コンパイル使用メモリ | 12,416 KB |
実行使用メモリ | 13,184 KB |
最終ジャッジ日時 | 2024-11-25 09:47:04 |
合計ジャッジ時間 | 1,944 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
def solve():n = int(input())QR = [input().split() for _ in range(2 ** n)]R = set(list(zip(*QR))[-1])print("A=", end="")if R == {"0"}:print("⊥")returnif R == {"1"}:print("⊤")returnans = []for ss in QR:if ss[-1] == "1":ret = []for i, s in enumerate(ss[:-1], 1):if s == '1':ret.append("P_" + str(i))else:ret.append("¬P_" + str(i))ans.append("(" + "∧".join(ret) + ")")print("∨".join(ans))solve()