結果
問題 | No.792 真理関数をつくろう |
ユーザー | ciel |
提出日時 | 2018-09-07 11:34:56 |
言語 | Ruby (3.4.1) |
結果 |
AC
|
実行時間 | 169 ms / 2,000 ms |
コード長 | 198 bytes |
コンパイル時間 | 45 ms |
コンパイル使用メモリ | 7,552 KB |
実行使用メモリ | 14,336 KB |
最終ジャッジ日時 | 2024-11-25 07:41:25 |
合計ジャッジ時間 | 3,427 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
コンパイルメッセージ
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)}*'∧'+')'}*'∨')