Tulisan ini memperlihatkan algoritma dasar dari OBDD untuk memverifikasi fungsi Boolean. Dengan menggunakan paket KBDD (yang dikembangkan oleh Karl Berry dari Carnegie Melon University), program kbdd berjalan di sistem ...