結果
問題 | 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:continueANSSTR=[]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))