द्वारा कार्यक्रम bool-expr-solve.sf.net

बूलियन अभिव्यक्ति सॉल्वर एक कमांड-लाइन उपयोगिता है जो किसी दिए गए बूलियन अभिव्यक्ति के लिए एक सत्य तालिका उत्पन्न करती है।