論理積に関する記事一覧

【3値論理】プログラミングで使われる命題の真偽【boolean】

今回はより実際のプログラミングに近い真偽 (boolean) の考え方である undefined を含んだ「3値論理」について解説します！具体的にいうと AND や OR 条件の処理順・違った条件に書き換える方法を説明しています。

前回、命題について解説しました。今回は「否定」「二重否定」「論理積」「論理和」「排他的論理和」「等値」「恒真命題」「含意」「逆」「対偶」といった演算を使うと、命題の真偽がどう変化するのか？...を説明します。