真理関数
真理関数の定義を真理値表という表を用いて示すことがある。
真理値表は次のように見る。¬ の真理値表の第 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 } である 」 を意味する。