• 逻辑最小化是一个轻便的Windows的应用程序专门设计用于帮助你简化逻辑的表达，即布尔和命题表达方式。

    在实用工具，让你的可能性交换机之间的卡诺和命题逻辑的事实表。 你可以尽量减少布尔和命题的方案24的变量和转换布尔公式来SOP，POS和decimal notation.

    逻辑最小化有助于你的工作与卡诺图，事实表和设置的条款，突出显示最小化条款在卡诺图，以及优化简化布尔公式用XOR门。

    更重要的是，你是允许绘制的逻辑电路的不同类型的逻辑门转换命题的方案对地下城与勇士和CNF数据和测试的有效期的命题的公式。

    好消息是，应用程序支持的所有布尔和命题的运营商和常数。 此外，它提供了一步一步简化布尔和命题的方案8变量。

    你可以插入值直接进入地图，使用的设置，以填补大量的细胞在卡诺图，并充分定义的默认的变量名称的，运营商和颜色。

    测试显示，该应用程序进行的任务迅速和无错误。 它运行在低存的资源，所以整体计算机的性能不受阻。

    所有的东西认为，逻辑最小化集成了一个方便的套功能帮助你简化逻辑的表达。 在缺点方面，GUI不能被描述为非常直观，很少有经验的用户有可能要花费额外的时间得到使用的程序的功能。 一帮助手册是包括可以进行协商的情况下，你有问题关于该工具的能力。

  • तर्क Minimizer है एक हल्के विंडोज आवेदन के लिए विशेष रूप से डिजाइन की मदद से आप सरल तार्किक भाव, अर्थात् बूलियन और मक भाव है ।

    उपयोगिता के लिए संभावना देता है के बीच स्विच Karnaugh और साध्यात्मक तर्क सच्चाई यह है कि टेबल है । आप कम से कम कर सकते बूलियन और मक सूत्रों अप करने के लिए 24 चर और परिवर्तित बूलियन सूत्रों गीला करने के लिए, स्थिति और दशमलव संकेतन.

    तर्क Minimizer में मदद करता है आप के साथ काम Karnaugh नक्शे, सत्य और मेज सेट की शर्तों पर प्रकाश डाला, कम से कम शर्तों पर Karnaugh नक्शे, के रूप में अच्छी तरह के रूप में अनुकूलन सरलीकृत बूलियन फार्मूला के साथ XOR द्वार ।

    क्या अधिक है, आप कर रहे हैं की अनुमति आकर्षित करने के लिए तार्किक सर्किट के विभिन्न प्रकारों के साथ तर्क फाटकों, बदलने मक सूत्रों के लिए DNF और CNF डेटा, और परीक्षण की वैधता मक सूत्रों.

    अच्छी खबर यह है कि आवेदन का समर्थन करता है सभी बूलियन और मक ऑपरेटरों, और स्थिरांक. इसके अलावा, यह प्रदान करता है, कदम-दर-कदम के सरलीकरण बूलियन और मक सूत्रों अप करने के लिए 8 चर.

    आप कर सकते हैं डालने के मूल्यों में सीधे नक्शा, का उपयोग कर सेट को भरने के लिए कोशिकाओं की एक बड़ी संख्या में Karnaugh नक्शे, और पूरी तरह से अनुकूलित डिफ़ॉल्ट चर नाम, ऑपरेटरों और रंग.

    परीक्षणों से पता चला है कि आवेदन बाहर किया जाता है एक काम के लिए जल्दी और त्रुटियों के बिना. इसे चलाता है पर कम स्मृति संसाधनों, इसलिए समग्र कंप्यूटर के प्रदर्शन में बाधा नहीं है.

    सभी चीजों पर विचार, तर्क Minimizer एकीकृत एक आसान सुइट की सुविधाओं के लिए मदद से आप सरल तार्किक अभिव्यक्ति है । नकारात्मक पक्ष पर, जीयूआई नहीं किया जा सकता है वर्णित के रूप में अत्यधिक सहज ज्ञान युक्त है, तो कम अनुभवी उपयोगकर्ताओं रहे हैं की संभावना करने के लिए अतिरिक्त समय खर्च करने के लिए इस्तेमाल किया कार्यक्रम की विशेषताएं है । एक मैनुअल मदद के पैकेज में शामिल है और परामर्श किया जा सकता है के मामले में आप प्रश्न के बारे में इस उपकरण की क्षमताओं.

  • Logic Minimizer is a lightweight Windows application designed specifically for helping you simplify logical expressions, namely Boolean and propositional expressions.

    The utility gives you the possibility to switch between the Karnaugh and propositional logic truth table. You may minimize Boolean and propositional formulae up to 24 variables and convert Boolean formulae to SOP, POS and decimal notation.

    Logic Minimizer helps you work with Karnaugh map, truth table and sets of terms, highlight minimized terms on Karnaugh map, as well as optimize simplified Boolean formula with XOR gates.

    What’s more, you are allowed to draw logical circuit with different types of logic gates, convert propositional formulae to DNF and CNF data, and test the validity of propositional formulae.

    Good news is that the application supports all Boolean and propositional operators, and constants. Plus, it provides step-by-step simplification of Boolean and propositional formulae up to 8 variables.

    You may insert values directly into the map, make use of sets to fill a large number of cells in the Karnaugh map, and fully customize the default variables names, operators and colors.

    Tests have shown that the application carries out a task quickly and without errors. It runs on low memory resources, so the overall performance of the computer is not hampered.

    All things considered, Logic Minimizer integrates a handy suite of features for helping you simplify logical expressions. On the downside, the GUI cannot be described as highly intuitive, so less experienced users are likely to spend extra time getting used to the program’s features. A help manual is included in the package and can be consulted in case you have questions regarding the tool’s capabilities.