邏輯函數式是一類返回值爲邏輯值true或邏輯值false的函數。例如F(f)=（A1,）。F稱爲A1，A2，...，An的輸出邏輯函數。邏輯函數有“最小項之和”及“最大項之積”兩種標準形式。true：代表判斷後的結果是真的，正確的，也可以用1表示；false：代表判斷後的結果是假的，錯誤的，也可以用0表示。
