結果
問題 | No.792 真理関数をつくろう |
ユーザー |
![]() |
提出日時 | 2019-02-22 21:53:47 |
言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) |
結果 |
TLE
(最新)
AC
(最初)
|
実行時間 | - |
コード長 | 842 bytes |
コンパイル時間 | 121 ms |
コンパイル使用メモリ | 12,672 KB |
実行使用メモリ | 23,212 KB |
最終ジャッジ日時 | 2024-11-25 07:54:28 |
合計ジャッジ時間 | 6,195 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 21 TLE * 1 |
ソースコード
N = int(input()) Q = [] R = [] for i in range(2 ** N): *q, r = [int(n) for n in input().split()] Q.append(q) R.append(r) ans = "A=" if all([r == 1 for r in R]): ans += "⊤" elif all([r == 0 for r in R]): ans += "⊥" else: for i in range(2 ** N): if R[i] == 0: continue else: ans += "(" for j in range(N): if Q[i][j] == 1: ans += "P_{}".format(j+1) else: ans += "¬P_{}".format(j+1) ans += "∧" ans = ans[:-1] ans += ")∨" ans = ans[:-1] print(ans)