Tipe data 

boolean merupakan tipe yang memiliki dua nilai yaitu benar (true)

atau salah (false). Nilai yang digunakan pada tipe ini sangat penting dalam
mengambil keputusan suatu kejadian tertentu

Untuk menyederhanakan fungsi boolean, dapat dilakukan dengan

tiga cara yaitu dengan cara aljabar yaitu berdasarkan hukum atau Teorema
Aljabar Boolean, metode peta Karnaugh, dan metode tabulasi dari Quine-Mc
Cluskey
adalah proses mengubah bentuk ekspresi-ekspresi logika menjadi lebih
sederhana, dengan menggunakan hukum-hukum ekivalensi dalam logika

Tujuan dari penyederhanaan ini adalah kemudahan dalam mengoperasikan

atau menentukan ekivalensinya dengan ekspresi logika yang lain.

Beberapa metoda untuk menyederhanakan persamaan suatu logika diantaranya :

Aljabar Boolean
Karnaugh Map
Diagram Venn
Quinne -Mc.Cluskey

Dasar operasi logika adalah logika. Memberikan batasan yang

pasti dari suatu keadaan, sehingga suatu keadaan tidak dapat
berada dalam dua ketentuan sekaligus

Misalkan S adalah kesamaan (identity) di dalam aljabar

Boolean yang melibatkan operator +, ×, dan
komplemen, maka jika pernyataan S* diperoleh dengan
cara mengganti

×   dengan +
                       + dengan ×
                       0 dengan 1
                       1 dengan 0

Contoh.
(i)   (a × 1)(0 + a’) = 0 dualnya (a + 0) + (1 × a’) = 1
(ii) a(a‘ + b) = ab       dualnya a + a‘b = a + b
a + a’b = a + b 

    a + a’b             = (a + ab) + a ’ b         (Penyerapan)

                                    = a + (ab + a’b)                       (Asosiatif)
                                    = a + (a + a’)b             (Distributif)
                                    = a + 1 · b                   (Komplemen)
                                    = a + b                         (Identitas)