結果
| 問題 | No.792 真理関数をつくろう | 
| コンテスト | |
| ユーザー |  vwxyz | 
| 提出日時 | 2024-04-07 09:13:49 | 
| 言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) | 
| 結果 | 
                                WA
                                 
                             | 
| 実行時間 | - | 
| コード長 | 337 bytes | 
| コンパイル時間 | 223 ms | 
| コンパイル使用メモリ | 12,544 KB | 
| 実行使用メモリ | 12,288 KB | 
| 最終ジャッジ日時 | 2024-10-01 04:23:50 | 
| 合計ジャッジ時間 | 1,985 ms | 
| ジャッジサーバーID (参考情報) | judge5 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 2 WA * 2 | 
| other | AC * 22 | 
ソースコード
ans_lst=[]
N=int(input())
for i in range(1<<N):
    *Q,R=map(int,input().split())
    ans=[]
    if not R:
        continue
    for i,q in enumerate(Q,1):
        s=""
        if not q:
            s+="¬"
        s+="P_"
        s+=str(i)
        ans.append(s)
    ans_lst.append("("+"∧".join(ans)+")")
print("A="+"∨".join(ans_lst))
            
            
            
        