結果

問題 No.792 真理関数をつくろう
コンテスト
ユーザー gemmaro
提出日時 2020-02-17 12:17:24
言語 Ruby
(4.0.2)
コンパイル:
ruby -w -c _filename_
実行:
ruby _filename_
結果
AC  
実行時間 89 ms / 2,000 ms
コード長 761 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 234 ms
コンパイル使用メモリ 9,088 KB
実行使用メモリ 17,792 KB
最終ジャッジ日時 2026-04-22 18:11:21
合計ジャッジ時間 2,572 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge2_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 22
権限があれば一括ダウンロードができます
コンパイルメッセージ
Syntax OK

ソースコード

diff #
raw source code 

# frozen_string_literal: true

AND = '∧'
OR = '∨'
NOT = '¬'
BOT = '⊥'
TOP = '⊤'

def make_exp(prop, index)
  case prop
  when 0
    "#{NOT}P_#{index + 1}"
  when 1
    "P_#{index + 1}"
  end
end

# ----------------------------------- exec

table = []

N = gets.to_i
(2**N).times do
  input = gets.chomp.split.map(&:to_i)
  qs = input[0..-2]
  r = input[-1]
  table << [qs, r]
end

puts(
  'A=' + if table.map { |r| r[1] }.uniq.size == 1
           if table[0][1].zero?
             BOT
           else
             TOP
           end
         else
           EXPS = table.select { |r| r[1] == 1 }.map do |r|
             r[0].map.with_index { |q, i| make_exp(q, i) }.join(AND)
           end
           EXPS.map { |e| "(#{e})" }.join(OR)
         end
)
0