द्वारा कार्यक्रम qmls.sf.net

क्विन-मैकक्लुस्की लॉजिक सरलीकरण डिजिटल तर्क को सरल बनाने के लिए लिखी गई एक उपयोगिता है। आप इसे एक विहित दशमलव सूची खिलाते हैं और यह बाकी करता है।