Ringkasan keputusan
Cara kiraan
Jadual kebenaran
Bentuk kanonik / SOP dipermudah
Soalan lazim
Operator manakah yang boleh saya gunakan?
Gunakan ! atau ~ untuk NOT, & atau ∧ untuk AND, ^ untuk XOR, | atau ∨ untuk OR, -> untuk implication, <-> untuk equivalence, dan constants 0, 1, T, F.
Bagaimana pemudahan memilih Karnaugh berbanding Quine-McCluskey?
Sehingga empat pembolehubah, alat ini mengelompokkan minterms seperti peta Karnaugh. Untuk lima atau enam pembolehubah, ia beralih kepada Quine–McCluskey dengan pemilihan Petrick. Lebih daripada enam akan fallback kepada canonical DNF.