java中是否有任何工具或库可以简化布尔表达式公式并给出结果。
当输入是这样的时候，
exp = (a || a' ) result = 1
exp = ( a || b ) && ( a' || b ) result = b (after simplification)
表达式可以比上面更大或更复杂。
问问题
4749 次
java中是否有任何工具或库可以简化布尔表达式公式并给出结果。
当输入是这样的时候，
exp = (a || a' ) result = 1
exp = ( a || b ) && ( a' || b ) result = b (after simplification)
表达式可以比上面更大或更复杂。