結果
| 問題 | No.792 真理関数をつくろう |
| ユーザー |
 stng
|
| 提出日時 | 2022-06-26 12:03:39 |
| 言語 | PyPy3 (7.3.15) |
| 結果 |
MLE
|
| 実行時間 | - |
| コード長 | 636 bytes |
| コンパイル時間 | 322 ms |
| コンパイル使用メモリ | 81,920 KB |
| 実行使用メモリ | 845,916 KB |
| 最終ジャッジ日時 | 2024-04-28 04:16:12 |
| 合計ジャッジ時間 | 5,747 ms |
|
ジャッジサーバーID （参考情報） |
judge4 / judge2 |
（要ログイン）
テストケース
テストケース表示| 入力 | 結果 | 実行時間 実行使用メモリ |
|---|---|---|
| testcase_00 | MLE | - |
| testcase_01 | -- | - |
| testcase_02 | -- | - |
| testcase_03 | -- | - |
| testcase_04 | -- | - |
| testcase_05 | -- | - |
| testcase_06 | -- | - |
| testcase_07 | -- | - |
| testcase_08 | -- | - |
| testcase_09 | -- | - |
| testcase_10 | -- | - |
| testcase_11 | -- | - |
| testcase_12 | -- | - |
| testcase_13 | -- | - |
| testcase_14 | -- | - |
| testcase_15 | -- | - |
| testcase_16 | -- | - |
| testcase_17 | -- | - |
| testcase_18 | -- | - |
| testcase_19 | -- | - |
| testcase_20 | -- | - |
| testcase_21 | -- | - |
| testcase_22 | -- | - |
| testcase_23 | -- | - |
| testcase_24 | -- | - |
| testcase_25 | -- | - |
ソースコード
n = int(input())
q = [[int(i) for i in input().split()] for j in range(2**n)]
ans = "A="
f = False
f_all = True
for i in range(2**n):
if q[i][-1] == 1:
if ans != "A=":
ans += "∨"
f = True
ans += ans.join("(")
for j in range(n):
if q[i][j] == 1:
ans += ans.join("P_"+str(j+1))
else:
ans += ans.join("¬P_"+str(j+1))
if j != n-1:
ans += ans.join("∧")
ans += ans.join(")")
else:
f_all = False
if f == False:
ans = "A=⊥"
elif f_all == True:
ans = "A=⊤"
print(ans)