結果
問題 | No.792 真理関数をつくろう |
ユーザー |
![]() |
提出日時 | 2019-02-22 21:41:44 |
言語 | Nim (2.2.0) |
結果 |
AC
|
実行時間 | 15 ms / 2,000 ms |
コード長 | 613 bytes |
コンパイル時間 | 3,227 ms |
コンパイル使用メモリ | 65,664 KB |
実行使用メモリ | 5,376 KB |
最終ジャッジ日時 | 2024-07-01 19:25:53 |
合計ジャッジ時間 | 4,141 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
import strutils, sequtilsproc main() =letn = stdin.readLine.parseInta = (0..<(1 shl n)).mapIt(stdin.readLine.split.map(parseInt))varall_true = trueall_false = trueans = "A="for i in 0..<(1 shl n):if a[i][n] == 1:all_false = falseif ans.len > 2:ans &= "∨"ans &= "("for j in 0..<n:if j > 0:ans &= "∧"if a[i][j] == 0:ans &= "¬"ans &= "P_" & $(j+1)ans &= ")"else:all_true = falseif all_true:ans = "A=⊤"elif all_false:ans = "A=⊥"echo ansmain()