Buku Teks Ilmu Komputer : Logika Matematika Retno Hendrowati Bambang Hariyanto text Bandung : Informatika, 2002 ind Teori himpunan, Definisi aksioma aljabar boolean, Fungsi boolean, Komplemen fungsi, Konversi bentuk fungsi, Operasi dan gerbang logika, Metode penyerdehanaan fungsi boolean, Metode peta karnaugh,Metode quine-mccluskey Logika Matematika URN:ISBN:979-95779-9-3