結果
問題 | No.792 真理関数をつくろう |
ユーザー |
![]() |
提出日時 | 2019-02-22 21:39:53 |
言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) |
結果 |
AC
|
実行時間 | 55 ms / 2,000 ms |
コード長 | 346 bytes |
コンパイル時間 | 130 ms |
コンパイル使用メモリ | 12,544 KB |
実行使用メモリ | 12,160 KB |
最終ジャッジ日時 | 2024-11-25 07:51:54 |
合計ジャッジ時間 | 1,817 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
import sysN = int(input())p = [("¬P_%d"%i, "P_%d"%i)for i in range(1, N+1)]ans = []for a in (list(map(int, l.split())) for l in sys.stdin):if a[-1] == 0:continues = "∧".join(p[i][n] for i, n in enumerate(a[:-1]))ans.append("(%s)"%s)print("A="+("⊤" if len(ans)==2**N else "⊥" if not ans else "∨".join(ans)))