結果
問題 | No.792 真理関数をつくろう |
ユーザー |
|
提出日時 | 2022-06-26 12:00:01 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 1,993 ms / 2,000 ms |
コード長 | 586 bytes |
コンパイル時間 | 257 ms |
コンパイル使用メモリ | 82,048 KB |
実行使用メモリ | 263,296 KB |
最終ジャッジ日時 | 2024-11-16 14:11:02 |
合計ジャッジ時間 | 5,541 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
n = int(input())q = [[int(i) for i in input().split()] for j in range(2**n)]ans = "A="f = Falsef_all = Truefor i in range(2**n):if q[i][-1] == 1:if ans != "A=":ans += "∨"f = Trueans += "("for j in range(n):if q[i][j] == 1:ans += "P_"+str(j+1)else:ans += "¬P_"+str(j+1)if j != n-1:ans += "∧"ans += ")"else:f_all = Falseif f == False:ans = "A=⊥"elif f_all == True:ans = "A=⊤"print(ans)