Sheffer stroke - Wikipedia
Logical equivalences[edit] The Sheffer stroke of and is the negation of their conjunction Alternative notations and names[edit] Peirce was the first to show the functional completeness of non-conjunction (representing this as ) but didn't publish his result.[2][3] Peirce's editor added ) for non-disjunction[citation needed].[3] In 1911, Stamm was the first to publish a proof of the completeness of
否定論理積 - Wikipedia
「NAND」は論理演算について説明しているこの項目へ転送されています。論理回路については「NANDゲート」を、フラッシュメモリの一型式については「NAND型フラッシュメモリ」をご覧ください。 否定論理積（ひていろんりせき）とは、与えられた複数の命題のうちに偽 (False)であるものが含まれることを示す論理演算である。NAND (Not AND; "ナンド"と読まれる)と表記される。別の表記法として、ヘンリー・シェファー（英語版）が1913年に導入したシェファーの棒記号（英: Sheffer stroke、記号 "|" で表す）や矢印の「↑」を用いる表記法もある。 性質[編集] 完全性[編集] 一般に、いくつかの限られた種類の論理演算を任意個組み合わせることにより、任意のブール関数を構成可能であることを、その演算の組は functionally complete であるという（詳細は英語版
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
