前言：這個定理在離散數學書上的解釋，我看不太懂！（可能是我太愚笨了），然後在網上查了一些資料，才慢慢地懂了這個定理的意思。本文主要寫給和我一樣對這個定理雲裡霧裡的同學！本文會盡可能地解釋地清晰，希望對大家能有幫助！
題意：由n 元 變量能組成多少個真值函數，由于真值函數和真值表是一一對應的，是以也就是真值表的個數
解：
- 首先, n 個變量可以組成 種組合方式，因為每個變量有 選 和 不選 兩種選擇，是以就是2 * 2 * 2 *....(n個) =
離散數學n元變量的真值函數（或者真值表的種類數）有 2^(2^n)個 詳解 離散數學n元變量的真值函數（或者真值表的種類數）有 2^(2^n)個 詳解 - 其次，每一種組合，它的結果又有兩種：0和1 ，是以是2 * 2 * 2 * 2（ 個）=
離散數學n元變量的真值函數（或者真值表的種類數）有 2^(2^n)個 詳解 ，即為所求！（關鍵步驟）
離散數學n元變量的真值函數（或者真值表的種類數）有 2^(2^n)個 詳解 - 下面，以兩個變量為例：
如圖：左邊兩列是p和q的取值，第三列是p和q二者運算的結果，雖然二者運算的方式有很多，如 析取? 合取？與？或 ? 異或？ 但是運算的結果就兩個 1 和 0，是以每一行的運算結果有兩種取法
是以，我們可以這麼看，左邊兩列是自變量（2 ^ n 種取法），右邊一列是因變量（每一組自變量對應着兩種因變量結果），所 以由組合原理(或乘法定理)可知 真值函數的個數 = 2 * 2 * 2 * 2 * ...... (
個) =
證畢！
自我認為這種解釋容易了解！如果對大家有幫助，順手點個贊吧（對部落客是大大的激勵哦~）