結果
問題 | No.792 真理関数をつくろう |
ユーザー |
|
提出日時 | 2019-02-22 21:33:17 |
言語 | Ruby (3.4.1) |
結果 |
AC
|
実行時間 | 126 ms / 2,000 ms |
コード長 | 475 bytes |
コンパイル時間 | 58 ms |
コンパイル使用メモリ | 7,424 KB |
実行使用メモリ | 13,440 KB |
最終ジャッジ日時 | 2024-11-25 07:42:06 |
合計ジャッジ時間 | 3,019 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
コンパイルメッセージ
Syntax OK
ソースコード
n = gets.to_ians = [](1<<n).times dov = gets.split.map(&:to_i)r = v[n]if r == 0nextendtmp = []1.upto(n) do |i|q = v[i-1]if q == 0tmp.push("¬P_"+i.to_s)elsetmp.push("P_"+i.to_s)endendtmp = "(" + tmp.join('∧') + ")"ans.push(tmp)endif ans.size == 0puts "A=⊥"elsif ans.size == (1 << n)puts "A=⊤"elseputs "A=" + ans.join('∨')end