Fungsi boolean

Dalam matematika, fungsi Boolean adalah sebuah fungsi yang argumen (nilai masukan/input) dan hasilnya mengasumsikan nilai dari himpunan dua elemen (biasanya {ya, tidak}, {benar, salah}, {0,1} atau {-1,1}). Fungsi Boolean digunakan terutama dalam literatur ilmu komputer yang lebih tua, dan fungsi kebenaran (atau fungsi logis) yang digunakan dalam logika. Fungsi Boolean adalah subjek dari aljabar Boolean dan teori peralihan.

Fungsi Boolean mengambil bentuk , di mana  dikenal sebagai domain Boolean dan  adalah bilangan bulat non-negatif yang disebut dengan aritas dari fungsi tersebut. Dalam kasus di mana , fungsi tersebut adalah elemen konstan dari . Fungsi Boolean dengan beberapa keluaran,  dengan adalah sebuah fungsi Boolean yang bernilai vektor.

Ada  fungsi Boolean yang berbeda dengan argumen sebanyak  ; sama dengan jumlah tabel kebenaran yang berbeda dengan  entri .Setiap -ariti fungsi Boolean dapat diekspresikan sebagai rumus proposisional dalam  variabel  dan dua rumus proposisional secara logika setara jika dan hanya jika keduanya mengekspresikan fungsi Boolean yang sama.

 Referensi