真理関数
F を n 変数の真理関数とするとき、F(X) = ⋎ {\displaystyle \curlyvee } を満たす ∏ i = 1 n L {\displaystyle \prod _{i=1}^{n}L} の元 X 全体から成る集合を F の真理集合といい、[F] で表わす。
例
2 つの真理関数 F と G とが等しいことは、F の真理集合と G の真理集合とが等しい為の必要十分条件である。