結果

問題 No.792 真理関数をつくろう
ユーザー n4o847n4o847
提出日時 2019-02-22 22:19:54
言語 Ruby
(3.4.1)
結果
AC  
実行時間 131 ms / 2,000 ms
コード長 205 bytes
コンパイル時間 93 ms
コンパイル使用メモリ 7,424 KB
実行使用メモリ 13,568 KB
最終ジャッジ日時 2024-11-25 09:14:07
合計ジャッジ時間 3,130 ms
ジャッジサーバーID
(参考情報)
judge4 / judge1
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 4
other AC * 22
権限があれば一括ダウンロードができます
コンパイルメッセージ
Syntax OK

ソースコード

diff #

n=gets.to_i
a=[]
u=$<.map{|s|
    *q,r=s.split.map &:to_i
    if r==1
        a<<"(#{n.times.map{|i|"#{q[i]==0?"¬":""}P_#{i+1}"}*"∧"})"
    end
    r
}.uniq
puts "A="+(u==[0]?"⊥":u==[1]?"⊤":a*"∨")
0