結果
問題 |
No.792 真理関数をつくろう
|
ユーザー |
![]() |
提出日時 | 2020-02-15 22:24:14 |
言語 | Ruby (3.4.1) |
結果 |
AC
|
実行時間 | 152 ms / 2,000 ms |
コード長 | 409 bytes |
コンパイル時間 | 104 ms |
コンパイル使用メモリ | 7,552 KB |
実行使用メモリ | 14,336 KB |
最終ジャッジ日時 | 2024-10-06 14:06:27 |
合計ジャッジ時間 | 3,852 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
コンパイルメッセージ
Syntax OK
ソースコード
n = gets.chomp.to_i q = [] r = [] * n (1 << n).times do l = gets.chomp.split.map(&:to_i) r << l.pop q << l end if r.uniq.size == 1 puts "A=" + (r[0] == 0 ? '⊥' : '⊤') exit end ans = [] r.each.with_index do |ri, i| next if ri == 0 s = [] q[i].each.with_index(1) do |qj, j| s << (qj == 0 ? '¬' : '') + "P_#{j}" end ans << "(" + s.join('∧') + ")" end puts "A=" + ans.join('∨')