結果
問題 | No.792 真理関数をつくろう |
ユーザー |
|
提出日時 | 2019-02-22 21:44:58 |
言語 | Ruby (3.4.1) |
結果 |
AC
|
実行時間 | 142 ms / 2,000 ms |
コード長 | 216 bytes |
コンパイル時間 | 36 ms |
コンパイル使用メモリ | 7,680 KB |
実行使用メモリ | 14,208 KB |
最終ジャッジ日時 | 2024-11-25 07:55:55 |
合計ジャッジ時間 | 3,051 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
コンパイルメッセージ
Syntax OK
ソースコード
n=gets.to_ia=$<.map{|s|s.split.map &:to_i}.select{|a|a[-1]>0}puts("A="+(a.size==0 ? "⊥" : "⊤"))+exit if a.size==0||a.size==2**nputs "A="+a.map{|t|?(+(1..n).map{|i|["¬",""][t[i-1]]+"P_"+i.to_s}*"∧"+?)}*"∨"