Atur cara mengikut booleanminimize.sf.net

Atur cara ini meminimumkan ungkapan boolean. Selepas menggabungkan minterms sejauh mungkin, program ini menarik carta implikasi perdana yang pengguna boleh membaca dan memanipulasi dengan mudah untuk menghapuskan apa-apa baki