बूलियन अभिव्यक्तियों को दोबारा करने के लिए टूल

Question

मैं बूलियन अभिव्यक्ति को दोबारा करने के लिए एक उपकरण की तलाश में हूं। मैं की तरह

a1 => (b1 <=> c or d) AND 
a2 => (b2 <=> c or d) AND 
a2 => (b2 <=> c or d) 

भाव मिल गया है उपकरण भाव, उदा को आसान बनाने के लिए सक्षम होना चाहिए उपरोक्त उदाहरण में उप अभिव्यक्ति "सी या डी" निकालें। क्या कोई मुफ्त कंप्यूटर बीजगणित प्रणाली है जो यह कर सकती है?

वर्तमान में मैं अभिव्यक्तियों को दोबारा सुधारने के बारे में सोचता हूं जो एक छोटे से हैकेल क्विक चेक स्क्रिप्ट के साथ समानता साबित करता है।

Answer 1

मैं एक उपकरण के बारे में यकीन नहीं है लेकिन Boolean Algebra

पर एक नज़र डालें तो आप कोशिश करते हैं और एक न्यूनतम बूलियन अभिव्यक्ति

Answer 2

DMS Software Reengineering Tookit ऐसा कर सकता है पता लगाने के लिए सभी इनपुट और आउटपुट का एक ग्रिड आकर्षित कर सकते हैं ।

यह एएसटी और प्रतीक तालिकाओं में भाषाओं (जावा सहित) को पार्स करने के लिए सामान्यीकृत कंपाइलर तकनीक है। डीएमएस स्रोत-से-स्रोत परिवर्तन, और सहयोगी और कम्यूटिव कानून पुनर्लेखन भी प्रदान करता है।

आपके बूलियन एक्सप्रेशन जावा एएसटी अभिव्यक्ति पेड़ के रूप में दिखाई देंगे। बूलियन बीजगणित के नियमों का एक सेट प्रदान करके, आप उन अभिव्यक्ति पेड़ों में हेरफेर कर सकते हैं।

हमने अतीत में यह किया है कि सी, आरएलएल और डायग्नोस्टिक समीकरणों की एक प्रणाली, बड़े पैमाने पर अभिव्यक्तियों पर, और मध्यम पैमाने पर अभिव्यक्तियों पर बहुत अधिक (आपके उदाहरण की तरह स्केल) पर बूलियन अभिव्यक्ति सरलीकरण और परिवर्तन करने के लिए किया गया है। ।

संपादित करें 5/19/2010: डीएमएस का उपयोग करके example of conventional algebra transformations देखें। एक संस्करण बनाने के लिए यह छोटा है जो इसके बजाय बूलियन बीजगणित करता है।