結果
| 問題 | No.792 真理関数をつくろう |
| ユーザー |
 ciel
|
| 提出日時 | 2018-09-07 11:34:56 |
| 言語 | Ruby (3.3.0) |
| 結果 |
AC
|
| 実行時間 | 155 ms / 2,000 ms |
| コード長 | 198 bytes |
| コンパイル時間 | 556 ms |
| コンパイル使用メモリ | 11,372 KB |
| 実行使用メモリ | 17,724 KB |
| 最終ジャッジ日時 | 2023-08-16 18:13:46 |
| 合計ジャッジ時間 | 3,811 ms |
|
ジャッジサーバーID （参考情報） |
judge11 / judge13 |
（要ログイン）
テストケース
テストケース表示| 入力 | 結果 | 実行時間 実行使用メモリ |
|---|---|---|
| testcase_00 | AC | 83 ms
15,312 KB |
| testcase_01 | AC | 87 ms
15,588 KB |
| testcase_02 | AC | 81 ms
15,056 KB |
| testcase_03 | AC | 93 ms
15,848 KB |
| testcase_04 | AC | 80 ms
15,088 KB |
| testcase_05 | AC | 91 ms
15,836 KB |
| testcase_06 | AC | 128 ms
16,988 KB |
| testcase_07 | AC | 84 ms
15,440 KB |
| testcase_08 | AC | 81 ms
15,060 KB |
| testcase_09 | AC | 80 ms
15,228 KB |
| testcase_10 | AC | 81 ms
15,240 KB |
| testcase_11 | AC | 80 ms
15,064 KB |
| testcase_12 | AC | 80 ms
15,256 KB |
| testcase_13 | AC | 80 ms
15,096 KB |
| testcase_14 | AC | 80 ms
15,256 KB |
| testcase_15 | AC | 83 ms
15,292 KB |
| testcase_16 | AC | 101 ms
16,280 KB |
| testcase_17 | AC | 83 ms
15,092 KB |
| testcase_18 | AC | 81 ms
15,084 KB |
| testcase_19 | AC | 81 ms
15,208 KB |
| testcase_20 | AC | 97 ms
15,980 KB |
| testcase_21 | AC | 155 ms
17,724 KB |
| testcase_22 | AC | 81 ms
15,188 KB |
| testcase_23 | AC | 81 ms
15,232 KB |
| testcase_24 | AC | 82 ms
15,260 KB |
| testcase_25 | AC | 81 ms
15,116 KB |
コンパイルメッセージ
Syntax OK
ソースコード
n=gets.to_i;a=$<.map{|e|e.split.map &:to_i}.select{|e|e[-1]==1}
puts 'A='+(a.size==2**n ? '⊤' : a.empty? ? '⊥' : a.map{|e|'('+n.times.map{|i|(e[i]==1 ? '' : '¬')+'P_%d'%(i+1)}*'∧'+')'}*'∨')