結果
問題 | No.792 真理関数をつくろう |
ユーザー |
![]() |
提出日時 | 2019-02-22 21:41:48 |
言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) |
結果 |
AC
|
実行時間 | 74 ms / 2,000 ms |
コード長 | 550 bytes |
コンパイル時間 | 120 ms |
コンパイル使用メモリ | 12,416 KB |
実行使用メモリ | 13,312 KB |
最終ジャッジ日時 | 2024-11-25 07:54:07 |
合計ジャッジ時間 | 1,759 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
N=int(input()) T=[list(map(int,input().split())) for i in range(2**N)] V=[T[i][-1] for i in range(2**N)] if min(V)==1: print("A=⊤") elif max(V)==0: print("A=⊥") else: ANS=[] for v in T: if v[-1]==0: continue ANSSTR=[] for i in range(N): if v[i]==0: ANSSTR.append("¬P_"+str(i+1)) else: ANSSTR.append("P_"+str(i+1)) #print(ANSSTR) ANS.append("("+"∧".join(ANSSTR)+")") print("A="+"∨".join(ANS))