結果
| 問題 |
No.792 真理関数をつくろう
|
| コンテスト | |
| ユーザー |
siman
|
| 提出日時 | 2021-12-21 15:54:12 |
| 言語 | Ruby (3.4.1) |
| 結果 |
AC
|
| 実行時間 | 142 ms / 2,000 ms |
| コード長 | 419 bytes |
| コンパイル時間 | 175 ms |
| コンパイル使用メモリ | 7,552 KB |
| 実行使用メモリ | 14,592 KB |
| 最終ジャッジ日時 | 2024-09-15 15:37:07 |
| 合計ジャッジ時間 | 3,694 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 4 |
| other | AC * 22 |
コンパイルメッセージ
Syntax OK
ソースコード
N = gets.to_i
Q = 2.pow(N).times.map { gets.split.map(&:to_i) }
def f(q)
res = []
q[0..-2].each.with_index(1) do |v, i|
if v == 0
res << "¬P_#{i}"
else
res << "P_#{i}"
end
end
'(' + res.join('∧') + ')'
end
if Q.all? { |q| q.last == 0 }
puts 'A=⊥'
elsif Q.all? { |q| q.last == 1 }
puts 'A=⊤'
else
puts "A=#{Q.select { |q| q.last == 1 }.map { |q| f(q) }.join('∨')}"
end
siman