結果
問題 | No.792 真理関数をつくろう |
ユーザー |
![]() |
提出日時 | 2019-02-22 21:40:19 |
言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) |
結果 |
AC
|
実行時間 | 78 ms / 2,000 ms |
コード長 | 430 bytes |
コンパイル時間 | 150 ms |
コンパイル使用メモリ | 12,544 KB |
実行使用メモリ | 12,672 KB |
最終ジャッジ日時 | 2024-11-25 07:53:17 |
合計ジャッジ時間 | 1,679 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
N = int(input()) src = [tuple(map(int,input().split())) for i in range(2**N)] if all(row[-1]==0 for row in src): print('A=⊥') exit() if all(row[-1]==1 for row in src): print('A=⊤') exit() ans = [] for *qs,r in src: if r==0: continue ps = [] for i,q in enumerate(qs): ps.append(('' if q else '¬') + 'P_' + str(i+1)) ans.append('(' + '∧'.join(ps) + ')') print('A=' + '∨'.join(ans))