真理値表は、論理で使用される数表であり、論理命題が任意の入力値に対して真であるかどうかを確認するために使用できます。 真理値表は、主にブール代数、ブール関数、および命題論理に関連して使用されます。 真理値表には、入力変数ごとに1つの列があります。 AとB、および入力変数の可能な組み合わせごとの行がtrueとfalseです。 次に、「And」、「Or」、「XOR」などの論理演算子ごとに他の列が追加され、入力の組み合わせごとにこれらの演算子の結果が追加されます。
Technipagesは真理値表を説明します
オーストリアの哲学者ルートヴィヒ・ウィトゲンシュタインは、1921年に出版された本の真理値表を発明し、普及させたと一般に信じられています。 それ以来、別の哲学者チャールズ・サンダース・パースが、1893年に決してなかった原稿でそれらを発明したことが発見されましたが 公開されました。
2つの真または偽の変数に対して実行できる16の可能な操作があります。 これらの操作は次のとおりです。矛盾–これは常に誤りです。 論理NOR–AもBも真でない場合にのみ真。 逆の非含意– Bが真で、Aが偽の場合に真。 否定– Bの値に関係なく、Aがfalseの場合にのみtrueになります。 重要な非含意–Aがそうである場合とBがそうでない場合に当てはまります。 否定–排他的論理和。 論理NAND; 論理積; 論理双条件; 射影機能; 重要な意味; 射影機能; 逆の意味; 論理和とトートロジー。
もちろん、それぞれに独自の用途と目的がありますが、共通点が1つあります。1つまたは2つのtrue / false変数を使用して実行されます。 これらの変数と操作の単純な(理解しにくい場合でも)性質により、次のことが可能になります。 複雑な操作を要素の小さなセットに分割します–true / false値および上記 オペレーション。
真理値表の一般的な使用法
- 真理値表は、論理で使用される数表です。
- 真理値表の各行には、入力変数の1つの可能な構成が含まれています。
- 真理値表は、論理的等価性を証明するために使用できます。
真理値表の一般的な誤用
- 真理値表は、テーブルまたはデータベースのデータが正しいかどうかをチェックします。