しんりち‐ひょう〔‐ヘウ〕【真理値表】
真理値表
真理値表
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/05/22 03:55 UTC 版)
A⊂Bの真理値表は以下。 AB⊂T T T T F T F T F F F T
※この「真理値表」の解説は、「逆含意」の解説の一部です。
「真理値表」を含む「逆含意」の記事については、「逆含意」の概要を参照ください。
真理値表
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/24 05:40 UTC 版)
0 と 1 という2つの値のみを使ったブール論理で、それらの値の共通部分と和集合を真理値表で定義すると次のようになる: ∩ {\displaystyle \cap } 0100 0 10 1 ∪ {\displaystyle \cup } 0100 1 11 1 複数の入力や他のブール演算を使った、もっと複雑な真理値表も作成できる。 真理値表は論理学にも応用でき、0 を偽、1 を真、 ∩ {\displaystyle \cap } を AND、 ∪ {\displaystyle \cup } を OR、¬ を NOT に読み替える。
※この「真理値表」の解説は、「ブール論理」の解説の一部です。
「真理値表」を含む「ブール論理」の記事については、「ブール論理」の概要を参照ください。
真理値表
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/26 13:54 UTC 版)
真理関数の定義を真理値表という表を用いて示すことがある。 ¬ の真理値表A¬A ⋎ {\displaystyle \curlyvee } ⋏ {\displaystyle \curlywedge } ⋏ {\displaystyle \curlywedge } ⋎ {\displaystyle \curlyvee } ∨ の真理値表ABA∨B ⋎ {\displaystyle \curlyvee } ⋎ {\displaystyle \curlyvee } ⋎ {\displaystyle \curlyvee } ⋎ {\displaystyle \curlyvee } ⋏ {\displaystyle \curlywedge } ⋎ {\displaystyle \curlyvee } ⋏ {\displaystyle \curlywedge } ⋎ {\displaystyle \curlyvee } ⋎ {\displaystyle \curlyvee } ⋏ {\displaystyle \curlywedge } ⋏ {\displaystyle \curlywedge } ⋏ {\displaystyle \curlywedge } ∧ の真理値表ABA∧B ⋎ {\displaystyle \curlyvee } ⋎ {\displaystyle \curlyvee } ⋎ {\displaystyle \curlyvee } ⋎ {\displaystyle \curlyvee } ⋏ {\displaystyle \curlywedge } ⋏ {\displaystyle \curlywedge } ⋏ {\displaystyle \curlywedge } ⋎ {\displaystyle \curlyvee } ⋏ {\displaystyle \curlywedge } ⋏ {\displaystyle \curlywedge } ⋏ {\displaystyle \curlywedge } ⋏ {\displaystyle \curlywedge } 真理値表は次のように見る。¬ の真理値表の第 1 行は 「 A = ⋎ {\displaystyle \curlyvee } であるとき、¬A = ⋏ {\displaystyle \curlywedge } である 」 を意味する。∨ の真理値表の第 2 行は 「 A = ⋎ {\displaystyle \curlyvee } 、B = ⋏ {\displaystyle \curlywedge } であるとき、A∨B = ⋎ {\displaystyle \curlyvee } である 」 を意味する。∧ の真理値表の第 3 行は 「 A = ⋏ {\displaystyle \curlywedge } 、B = ⋎ {\displaystyle \curlyvee } であるとき、A∧B = ⋏ {\displaystyle \curlywedge } である 」 を意味する。
※この「真理値表」の解説は、「真理関数」の解説の一部です。
「真理値表」を含む「真理関数」の記事については、「真理関数」の概要を参照ください。
真理値表と同じ種類の言葉
- 真理値表のページへのリンク