ALJABAR BOOLEAN DAN KARNAUGH MAP
A. Aljabar Boolean Di dalam ilmu komputer Logika Boolean adalah sebuah formula atau rumus matematika untuk memecahkan suatu masalah yang berhubungan dengan gerbang-gerbang logika (gerbang digital). Gerbang-gerbang logika adalah gerbang AND, OR, dan NOT. Gerbang logika lainnya seperti gerbang NAND, NOR, EX-OR, dan EX-NOR. Formula ini selanjutnya dikenal dengan istilah Aljabar Boolean yaitu struktrur aljabar yang mencakup intisari dari operasi gerbang-gerbang tadi yang dapat dikombinasikan dengan teori himpunan seperti gabungan, irisan, dan komplemen. Suatu fungsi boolean bisa dinyatakan dalam tabel kebenaran. Suatu tabel kebenaran untuk fungsi boolean merupakan daftar semua kombinasi angka-angka biner 0 dan 1 yang diberikan ke variabel-variabel biner dan daftar yang memperlihatkan nilai fungsi untuk masing-masing kombinasi biner. Aljabar boolean mempunyai 2 fungsi berbeda yang saling berhubungan. Dalam arti luas, aljabar boolean berarti suatu jenis simbol-simbol