結果

問題 No.792 真理関数をつくろう
ユーザー gemmarogemmaro
提出日時 2020-02-17 12:17:24
言語 Ruby
(3.3.0)
結果
AC  
実行時間 162 ms / 2,000 ms
コード長 761 bytes
コンパイル時間 150 ms
コンパイル使用メモリ 7,424 KB
実行使用メモリ 15,488 KB
最終ジャッジ日時 2024-04-16 03:48:27
合計ジャッジ時間 3,681 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 101 ms
12,288 KB
testcase_01 AC 102 ms
12,288 KB
testcase_02 AC 97 ms
12,160 KB
testcase_03 AC 108 ms
12,416 KB
testcase_04 AC 95 ms
12,160 KB
testcase_05 AC 107 ms
12,544 KB
testcase_06 AC 141 ms
14,592 KB
testcase_07 AC 97 ms
12,288 KB
testcase_08 AC 95 ms
12,160 KB
testcase_09 AC 96 ms
12,288 KB
testcase_10 AC 95 ms
12,160 KB
testcase_11 AC 93 ms
12,160 KB
testcase_12 AC 96 ms
12,032 KB
testcase_13 AC 94 ms
12,160 KB
testcase_14 AC 96 ms
12,160 KB
testcase_15 AC 96 ms
12,288 KB
testcase_16 AC 118 ms
13,056 KB
testcase_17 AC 93 ms
12,288 KB
testcase_18 AC 94 ms
12,288 KB
testcase_19 AC 93 ms
12,160 KB
testcase_20 AC 122 ms
13,184 KB
testcase_21 AC 162 ms
15,488 KB
testcase_22 AC 95 ms
12,032 KB
testcase_23 AC 93 ms
12,160 KB
testcase_24 AC 91 ms
12,032 KB
testcase_25 AC 93 ms
12,160 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Syntax OK

ソースコード

diff # 

# 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