結果
問題 | No.792 真理関数をつくろう |
ユーザー |
|
提出日時 | 2019-02-22 22:01:21 |
言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) |
結果 |
AC
|
実行時間 | 80 ms / 2,000 ms |
コード長 | 637 bytes |
コンパイル時間 | 92 ms |
コンパイル使用メモリ | 12,544 KB |
実行使用メモリ | 12,416 KB |
最終ジャッジ日時 | 2024-11-25 08:23:35 |
合計ジャッジ時間 | 1,867 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
def solve(q, r):if r == [0] * (2**N):return '⊥'if r == [1] * (2**N):return '⊤'ans = ''for i in range(2**N):if r[i] == 0:continueif ans != '':ans += '∨'ans += '('for j in range(N):if j > 0:ans += '∧'if q[i][j] == 0:ans += '¬'ans += 'P_' + str(j + 1)ans += ')'return ansN = int(input())print('A=', end='')q = []r = []for i in range(2**N):l = list(map(int, input().split()))q.append(l[:N])r.append(l[-1])print(solve(q, r))