結果
| 問題 | No.792 真理関数をつくろう |
| ユーザー |
 Bantako
|
| 提出日時 | 2019-04-09 16:50:17 |
| 言語 | Python3 (3.12.2 + numpy 1.26.4 + scipy 1.12.0) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 390 bytes |
| コンパイル時間 | 156 ms |
| コンパイル使用メモリ | 12,672 KB |
| 実行使用メモリ | 18,872 KB |
| 最終ジャッジ日時 | 2024-07-04 02:05:55 |
| 合計ジャッジ時間 | 3,885 ms |
|
ジャッジサーバーID （参考情報） |
judge4 / judge3 |
（要ログイン）
テストケース
テストケース表示| 入力 | 結果 | 実行時間 実行使用メモリ |
|---|---|---|
| testcase_00 | WA | - |
| testcase_01 | WA | - |
| testcase_02 | WA | - |
| testcase_03 | WA | - |
| testcase_04 | WA | - |
| testcase_05 | WA | - |
| testcase_06 | TLE | - |
| 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())
ans = "A="
for i in range(2**N):
l = input().split()
if l[-1] == 0:
continue
if ans != "A=":
ans += "∨"
ans += "("
for j in range(N):
s = "P_" + str(j + 1)
if j != 0:
s = "∧" + s
if l[j] == 0:
s += "¬" + s
ans += s
ans += ")"
if ans == "A=":
ans = "A=⊥"
print(ans)