yudukikun5120 https://blog.hatena.ne.jp/yudukikun5120/ yudukikun5120のブログ https://yudukikun5120.hatenadiary.jp/ ベクトル論理（vector logic）について勉強したことを書く。 en.wikipedia.org 私の理解では、ベクトル論理は論理式をベクトルもしくは行列で表現するものである。 なにが嬉しいかと言うと、おそらく論理的作用素（否定子や論理的結合子）の挙動を細かく制御出来ることだと思う。 これについては、後に詳しく述べる。 導入 ベクトル論理は well-defined であり、真偽値を正規直交ベクトルとして表現する。 本記事では便宜上、ベクトル論理として表わされたベクトルを返す論理式をベクトル論理式と呼ぶ。 古典的な二値論理であれば、真偽値を次のように定義できる。 否定演算子（NOT）は次… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyudukikun5120.hatenadiary.jp%2Fentry%2F2024%2F11%2F16%2F135544" title="論理式をベクトルで書こう【ベクトル論理】 - yudukikun5120のブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2024-11-16 13:55:44 rich https://yudukikun5120.hatenadiary.jp/entry/2024/11/16/135544 1.0 100%