卡诺图布尔极简化器：一个强大的工具，用于简化布尔表达式
Karnaugh & Boolean Minimizer是一款创新且多功能的应用程序，旨在简化Karnaugh图和布尔表达式。它专门为从事工程领域的人员量身定制，包括电气工程学生、学者、数字设备制造商以及任何与布尔表达式相关的人员。这个强大的工具提供了一系列功能，允许用户处理各种形式的布尔表达式并找到优质解决方案。
该应用程序提供了最多8个变量的Karnaugh图最小化功能。它使用布尔代数定律和定理逐步简化最多26个变量的布尔表达式。此外，用户还可以使用Quine-McCluskey算法简化最多8个变量的布尔函数，包括主蕴含项图和Petrick方法。
对于多输出最小化，该应用程序支持使用Espresso算法最多8个输入和8个输出，这是行业标准。用户可以在Karnaugh图中以和积形式（SOP/CNF）和积和形式（POS/DNF）查看最小化的解决方案。该应用程序还支持不关心项，并允许用户使用真值表、项集或布尔表达式填充Karnaugh图。
使用Karnaugh & Boolean Minimizer，用户可以探索最多5个变量的Karnaugh图的所有可能解决方案。在使用Karnaugh图、Quine-McCluskey和代数最小化器时，该应用程序保证提供最小解决方案。它甚至在Karnaugh图上突出显示最小化的项，以便于参考。
该应用程序不仅提供简化功能，还提供使用XOR门对最小化的解决方案进行优化。用户可以使用AND/OR/NAND/NOR逻辑门从最小化的解决方案生成电路。为了方便，该应用程序提供了一个自定义键盘，方便输入布尔表达式，并支持所有布尔运算符和常量。
Karnaugh & Boolean Minimizer提供了完全可自定义的体验，允许用户自定义Karnaugh图的方向、变量名称、运算符符号和表达式格式。它还支持将Karnaugh图和真值表导入和导出为CSV文件。
凭借其全面的功能和用户友好的界面，Karnaugh & Boolean Minimizer是工程领域中处理布尔表达式的人员的宝贵工具。
