布爾函式是數學中的一個概念，它描述了如何基於布爾輸入的邏輯計算來確定布爾值輸出。布爾函式的定義域和值域都只能是 {0,1}，即它們接受來自兩元素布爾代數 {0,1} 的布爾變數作為輸入，並產生一個也在 {0,1} 中的布爾值作為輸出。布爾函式可以看作是定義在 {0,1} 上的函式或映射，通常記為 f(x1,…,xn)，其中 x 是輸入的二進制表示。
布爾函式在複雜性理論的問題和數字計算機的晶片設計中扮演基礎角色。它們也是研究密碼算法和密碼技術的重要工具，無論是在流密碼、分組密碼、對稱還是非對稱密碼中都有重要的套用。
在計算機科學中，布爾函式還可以將每個長度為 n 的二進制矢量映射為單個二進制值，最常用的形式可能是 f:{−1,1}n→{−1,1}。布爾函式的這個特性使其在分析和設計數字邏輯電路時非常有用。
布爾函式的一般形式可以表示為 F(b1, b2, ..., bn)，其中 bi 的定義域為 {0,1}，F 的值域也為 {0, 1}。這種函式在一般的定義域上的，取值在 {0, 1} 中的函式也被稱為布爾值函式。
布爾函式的概念也可以擴展到更一般的邏輯情境，例如在程式語言中，布爾函式可以用來表示對和錯、真或假的兩種邏輯狀態。布爾類型的值有兩個，分別是 true 和 false。布爾函式將參數映射為布爾類型的結果，這種類型在程式語言中通常是整數類型的子類。