結果
| 問題 | No.792 真理関数をつくろう |
| コンテスト | |
| ユーザー |
vwxyz
|
| 提出日時 | 2024-04-07 09:12:29 |
| 言語 | Python3 (3.14.7 + numpy 2.5.2 + scipy 1.18.0 + ACL) |
| 結果 |
WA
不安定
|
| 実行時間 | - |
| コード長 | 291 bytes |
| 記録 | |
| コンパイル時間 | 57 ms |
| コンパイル使用メモリ | 14,848 KB |
| 実行使用メモリ | 12,416 KB |
| 最終ジャッジ日時 | 2026-09-07 03:56:21 |
| 合計ジャッジ時間 | 2,645 ms |
|
ジャッジサーバーID (参考情報) |
judge1_0 / judge3_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | WA * 4 |
| other | WA * 22 |
ソースコード
ans_lst=[]
N=int(input())
for i in range(1<<N):
*Q,R=map(int,input().split())
ans=[]
for q in Q:
s=""
if not q:
s+="¬"
s+="P_"
s+=str(q)
ans.append(s)
ans_lst.append("("+"∧".join(ans)+")")
print("A="+"∨".join(ans_lst))
vwxyz