ブール代数における論理和は該当記事を参照。ここではブール論理における論理和を説明する。論理和とは、与えられたブール値の少なくとも1つが1であるとき1となる論理演算である。離接、選言、ORともいう。「」や「」などの記号を用いる。
自然言語における「または」とは、多くの場合排他的論理和を表す。例えば「ごはん または パンを食べる」といったとき、「両方を食べる」選択肢は多くの場合意図しない。
論理和を否定した形 で定義される論理演算であり、記号「」を用いる。 ド・モルガンの法則より、論理積を用いて とも表せる。
Lean4での論理記号の取り扱いの勉強も後半です。今回は論理積と論理和の扱いを見ていきます。この辺はあまり難しい話は出てきません。 ゴールが論理積A ∧ Bの形の場合にはconstructorタクティクを使うとAとBが両方ともゴールとなり両方証明するとA ∧ Bの証明が終わります。 仮定にh:A ∧ Bがある場合には仮定としてAとBが成り立つのですからバラしてそれぞれを仮定としたいですよね。仮定にh1:Aとh2:Bを入れるにはrcases h with <h1,h2>とかhave <h1,h2>:=hなどとすれば良いです。 ゴールが論理和A∨ Bの形の場合にはAかBのどちらかを証明できれば良い…
A，B，C，Dを論理変数とするとき，次のカルノー図と等価な論理式はどれか。ここで，・は論理積，＋は論理和，XはXの否定を表す。 CD 00 01 11 10 AB 00 1 0 0 1 01 0 1 1 0 11 0 1 1 0 10 0 0 0 0 A・B・C・D＋B・D A・B・C・D＋B・D A・B・D＋B・D A・B・D＋B・D 解答・解説 (adsbygoogle = window.adsbygoogle || []).push({}); 解答 エ 解説 カルノー図は、論理式を簡単化するための表です。 A・B・C・D＋B・DA・B・C・Dは、A=1、B=1、C=0、D=1であるため赤…
以上255以下の整数nに対して， と定義する。next(n)と等しい式はどれか。ここで，x AND y 及び x OR y は，それぞれxとyを2進数表現にして，桁ごとの論理積及び論理和をとったものとする。 ア (n＋1) AND 255イ (n＋1) AND 256ウ (n＋1) OR 255エ (n＋1) OR 256 正解はアです。 next(n)は、 引数nが0～254 → +1 255 → 0 左はn＝1,右はn＝255 のとき 要は ビットマスクの255を2進数で表すと「11111111」をイメージできるか。 ※255は、最上位ビットの 演算結果0は返します。
＊Arduino IDE のコードの記載はありません 以前から少しずつ進めているのが左手デバイスの自作。既存のものを買っても良いのだが地味に高かったり、イマイチ使い勝手が悪そうだったりする。なので自分でより安く、使い勝手の良いものを作ってみたい。という訳で少しずつ勉強している。AIいじりも楽しいのでなかなか前に進まない・・・というか前の記事書いたの去年の8月かよ・・・。 以前の電子工作関連の記事は↓ manuller416.hatenablog.com ロータリエンコーダを使う 左手デバイスで必ず付けたいのがロータリエンコーダ。一般的にはツマミというか、つまんで時計回り/反時計回りに回すやつ。…
Q23.[Reversing]またやらかした！ みんなのWriteup見てたら「ghidra」が必要らしいのでインストール ここからzipファイルをダウンロード'/home/ubuntu/ghidra_11.0.2_PUBLIC_20240326/ghidra_11.0.2_PUBLIC/ghidraRun' DLしたZIPを展開したら、Ubuntuを使ってる場合「ghidraRun」を実行するんだけど、実行にはjavaが必要とのことなのでjavaをインストールしていく sudo apt update sudo apt upgrade sudo apt-get install default-…
www.xn--fhq32lm4eoko24c48b.com 前回の記事↑ 続き↓ 「思い込みが、動物本能からくる報酬系にダイレクトに結びついているから、恐怖とか感情と、それをだまして、意識をコントロールするのができないというだけで」「今のAIは、どうして意識をインストールするのか？ だから、それは無意識なんですよ。無意識に人間を認識したりだとか、言葉を認識したりだと、そういうような回路しかつくっていないんですよ。意識はそれをオーバーライドする別々のネットワークなんで、そういう風に設計すべきである」 ※オーバーライド→（override）とは、乗り越える、～に優先する、覆す、圧倒する、などの意…
ブロック暗号の暗号利用モードの一つであるCTR（Counter）モードに関する記述のうち，適切なものはどれか。 暗号化と復号の処理において，出力は，入力されたブロックと鍵ストリームとの排他的論理和である。 暗号化の処理において，平文のデータ長がブロック長の倍数でないときにパディングが必要である。 ビット誤りがある暗号文を復号すると，ビット誤りのあるブロック全体と次のブロックの対応するビットが平文ではビット誤りになる。 複数ブロックの暗号化の処理は並列に実行できないが，複数ブロックの復号の処理は並列に実行できる。 解答・解説 (adsbygoogle = window.adsbygoogle |…
半環について Prolog のプログラムは論理式と解釈できます。論理式の全体は分配束となります。分配束は(単位元の存在などを無視すると)半環となります。このブログでは Prolog のプログラムを半環を使って調べています。分配束を使って調べても良いのですが、半環は環と同様のことが成り立つことがあって考えやすいので半環を使っています。いくつかの入力とそれに対する答えです。 半環の定義を教えてください 半環（Semiring）は、代数構造の一種であり、加法と乗法を持ち、それぞれに対して加法単位元と乗法単位元を持つ非常に基本的な構造です。以下に、半環の定義を示します。半環は、以下の条件を満たす二項演…
1.はじめに こんにちは！株式会社iimonでフロントエンドエンジニアをしてる「みよちゃん」と申します！ チームメンバーの誰も「みよちゃん」と呼んでくれないので、そろそろ自称するのを辞めようかと悩んでいます。。 そんなことはさておき、今回のテーマは「コンピューターはどうやって計算しているのか」についてです。我々は業務の中で当然のようにコンピューターを使用していますが、コンピューター内部で行われている計算に関して考えることはそれほど多くありません。普段気にせずとも特別業務に支障は出ない内容ですが、うろ覚えだったため復習も兼ねて調べたため以下にまとめたいと思います。 2.論理演算 まず、コンピュー…
↓↓クリックして頂けると励みになります。ランキング参加中プログラミング 【08 | for】 ホーム】 >> 【10 | case】 論理演算を利用した複雑な条件分岐Rubyの論理演算は、条件や値の真偽を扱うための演算です。 主な論理演算子は以下の通りです。&&（論理積、AND）：両方の条件が真の場合に真を返します。 ||（論理和、OR）：どちらかの条件が真の場合に真を返します。 !（論理否定、NOT）：条件を反転させます。これらの演算子は、真偽値 (trueまたはfalse) を扱うためのものです。 Rubyでは、nilとfalse以外の値は真と見なされます。 Visual Studio C…
3/31 に開かれたABC347-D問題、解説とは違うことを実装していたので一応ここに書いておきます。 ところで、お久しぶりです 皆さんこんにちは、まっちゃラテです。初めましての方は、初めまして！抹茶大好きな競プロerと認知してくれると幸いです✨ で、皆さんご存じの通り(?)、意地でも緑にまで再び上り詰めた人です。そして次のABCで1年ぶりのHighest更新になりそうです。 今回はABC347-D問題で解説とは違ったことをしていたので、需要ないと思われますがここに記しておきます。 では ※解説は全く持って厳密さを求めず、分かりやすさ重視で書いています。厳密さを求める方は、気を付けて読んでくれ…
↓↓クリックして頂けると励みになります。ランキング参加中プログラミング 【03 | プログラムの作成と実行】 ホーム】 >> 【05 | Boolean】 演算子 Rubyの演算子は、プログラミングで使用されるさまざまな演算を実行するための記号やキーワードです。 以下に一般的なRubyの演算子の種類とその説明を示します。算術演算子:+ : 加算 - : 減算 * : 乗算 / : 除算 % : 剰余（余り） 比較演算子:== : 等しい != : 等しくない > : より大きい : より小さい >= : 以上 : 以下 論理演算子:&& : 論理積（AND） || : 論理和（OR） ! : …
時間があるので、pythonの勉強でもしようかと思い、 とほほのPython入門 - とほほのWWW入門 で、勉強してたら、ビット演算子というものがでてきました。長年プログラミングをしていますが、ビット演算子は、まったく使ったことがないので、この機会にちょっと勉強してみました。 まずは、基本であるビットとは コンピュータは、実は、ON/OFFの繰り返しでできており、そのON/OFFのスイッチをビットと読んでおり、スイッチ一個を１ビットとよびます。ちなみに、８ビットが１バイトです。表記するときは、0000000のように表し、右側から０ビット目、１ビット目って数えます。 次に、ビット演算とは スイ…
・ ・ ・ 関連ブログを６つ立ち上げる。プロフィールに情報。 ・ ・ ｛東山道・美濃国・百姓の次男・栗山正博｝・ ２０２４年３月１７日 ＹＡＨＯＯ！ＪＡＰＡＮニュース「怨霊の幸う国・日本 源氏物語のもう一つの読み方とは？ ［写真］太宰府天満宮（GYRO_PHOTOGRAPHY/イメージマート） 主人公・紫式部を吉高由里子さんが演じるNHK大河ドラマ「光る君へ」が放送されています。紫式部によって書かれた日本を代表する古典文学「源氏物語」ですが、建築家で、文化論に関する多数の著書で知られる名古屋工業大学名誉教授・若山滋氏は、「ストーリーにモノノケの力が作用していることを意識しながら読むと、エンター…
2024年3月18日～2024年3月24日に読んだ中で気になったニュースとメモ書きです。社内勉強会TLSらじお第149回分。 [PQCと証明書 [IETF119]] [Windowsの2048ビット未満RSA鍵廃止] [その他のニュース] ▼TLS with Verifiable Credential [IETF119] ▼TLS, byte by byte ▼AES-GCM-SST [IETF119] ▼ルートCA分析 ▼Let's Encryptの新中間証明書 ▼NSSのRSA復号タイミング攻撃（CVE-2023-5388） ▼MD5テキスト衝突攻撃 ▼フリーWiFiでMITM ▼耐量子暗…
CRC 検出できる誤りは？ バースト誤り CRCは元のビットを多項式で割って、余りを出す。 スイッチングハブ 何を元にLANへデータを渡す？ MAC アドレス UNIONは論理積？論理和？ 論理和。 UNION ALLは重複をそのまま。 連関図法 複雑に絡み合った問題を解決する手法で、因果関係に着目する。 PWM 幅を変えることで、信号を表現する 逓減課金方式 使えば使うほど、使用率ごとの金額が安くなっていく プロセス、スレッド join システム管理基準と監査基準の違い システム監査の流れ 監査計画 予備調査 監査手続 本調査 監査調書 評価・結論 監査報告 フォローアップ 予備調査 本調査…
ja.wikipedia.org
blog.nnn.dev
weblogs.macromedia.com
blog.kunst1080.net
www5e.biglobe.ne.jp
ja.wikipedia.org
mugenup-tech.hatenadiary.com
www.cc.kyoto-su.ac.jp
chaipa.hateblo.jp
