邏輯函數(shù)是一種特殊類型的函數(shù)，其自變量數(shù)量通常多于普通數(shù)學(xué)函數(shù)，如線性函數(shù)或指數(shù)函數(shù)等。邏輯函數(shù)的自變量取值范圍僅限于兩個(gè)元素：真或假，即{T, F}、{0, 1}。其定義域?yàn)樗凶宰兞咳≈到M合的笛卡兒積，例如三個(gè)自變量A、B、C的定義域?yàn)閧0, 1} × {0, 1} × {0, 1}。真值表是邏輯函數(shù)的一種表示方法，它將函數(shù)定義域中每個(gè)元素與其對(duì)應(yīng)的函數(shù)值一一列出。真值表的行數(shù)由自變量個(gè)數(shù)確定，R = 2 ^ n；列數(shù)為自變量列和函數(shù)值列，C = n + 1。多個(gè)邏輯函數(shù)的真值表也可以合并，此時(shí)行數(shù)為2 ^ N，列數(shù)為N + m。制作真值表的過程包括三步：首先建立空表并填寫定義域元素；然后計(jì)算每個(gè)邏輯函數(shù)定義域元素的函數(shù)值。其中，函數(shù)值的計(jì)算最為復(fù)雜，但可以通過邏輯函數(shù)的積之和式直接得出真值表中的函數(shù)值列。積之和式中的每個(gè)“與項(xiàng)”決定著函數(shù)值的取值。當(dāng)與項(xiàng)取值為1時(shí)，函數(shù)值為1。通過分析每個(gè)“與項(xiàng)”的取值，可以得到使函數(shù)值為1的自變量組集合。例如，F(xiàn) = A + A'B，p1 = A時(shí)，P1 = {, }；p2 = A'B時(shí)，P2 = {}。由此可得真值表中函數(shù)值為1的行。以F1 = ABC + A'B'C'為例，p1 = ABC時(shí)，P1 = {}；p2 = A'B'C'時(shí)，P2 = {}。因此，F(xiàn)1真值表中只有和兩行的函數(shù)值為1，其余行的函數(shù)值為0。