否定論理積
(Sheffer stroke から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/04/13 16:30 UTC 版)
否定論理積(ひていろんりせき)とは、与えられた複数の命題のうちに偽 (False)であるものが含まれることを示す論理演算である。NAND (Not AND; "ナンド"と読まれる)と表記される。別の表記法として、ヘンリー・シェファーが1913年に導入したシェファーの棒記号(英: Sheffer stroke、記号 "|" で表す)や矢印の「↑」を用いる表記法もある。
- 1 否定論理積とは
- 2 否定論理積の概要
- 3 性質
Weblioに収録されているすべての辞書から否定論理積を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から否定論理積 を検索
- 否定論理積のページへのリンク