BUKU LOGIKA INFORMATIKA DASAR DASAR LOGIKA UNTUK PEMROGRAMAN KOMPUTER DAN PERANCANGAN KOMPUTER