Ruby で条件式として XOR(eXclusive OR;排他的論理和)演算を書く必要ができた。 えっと,xor なんて演算子あったっけ?と思ったら無かった。 そうか,じゃあ &&, || があるんだから ^^ かな? 見たことないけど。と思ったらこれも無かった。 ええーっ!! 無いんかい。 め,めどい。 えっと,eq1, eq2 を何らかの式とする。評価値を論理値として使い,
Ruby で条件式として XOR(eXclusive OR;排他的論理和)演算を書く必要ができた。 えっと,xor なんて演算子あったっけ?と思ったら無かった。 そうか,じゃあ &&, || があるんだから ^^ かな? 見たことないけど。と思ったらこれも無かった。 ええーっ!! 無いんかい。 め,めどい。 えっと,eq1, eq2 を何らかの式とする。評価値を論理値として使い,
P ∨ Q のベン図による表現 数理論理学において論理和(ろんりわ、英: logical disjunction)とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す命題を作る論理演算である。離接(りせつ)、選言(せんげん)とも呼ぶ。 二つの命題 P, Q に対する論理和は記号 ∨ を用いて P ∨ Q と表せる。この記号はラテン語で(非排他的)論理和を意味する vel の頭文字に由来する[1]。また P ∨ Q の形をした命題を選言命題(disjunctive proposition)、その中に現れる命題 P や Q を選言肢(disjunct)という[2]。 「私の身長は 160 cm 以上である」 「私の体重は 50 kg 以上である」 の二つの命題の論理和は、 「私の身長は 160 cm 以上か、または、私の体重は 50 kg 以上である」 となる。この論理和が真
中置演算子のある体系では、中置演算子を利用した中置記法により表記されることが多い。演算子は (Unicode: U+22BB ⊻)、。誤解のおそれがないときは、XOR、xor、 (Unicode: U+2295 ⊕)、+、≠ なども使われる。 論理学などでは を使用して と書くことが多く、論理回路などでは を使用して と書くことが多い。 記号を使った中置演算子としては ^ や @ などが使われることが多く、キーワードが演算子になるような言語では XOR や xor などが使われることが多い。真理値の排他的論理和の演算子としては[1]同値の否定の比較演算子がその意味のため、専用の演算子を持たないこともある(Haskellなど)。 z = x ^ y; z = x xor y; Haskellでは、 z = x /= y ここで/=の型は(/=) :: Eq a => a -> a -> Bo
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く