我正在从前端获得一个( (A & B) | (C & ~D) )形式的布尔表达式。我需要把它转换成一个布尔表达式,这个表达式可以通过PyEDA来解决。将表达式编写为( (A & B) | (C & ~D) )。
试验了以下方法。boolean_exp表示布尔表达式字符串,num_variables表示字符串中的变量数。boolean_exp_
我开始了一门关于布尔逻辑的课程,我得到了这个布尔表达式,我需要证明。经过几个小时的研究,我尝试了Wolfram Alpha,但与其他方程不同的是,它没有一步一步地解释它是如何简化较长表达式的。在带有真值表的表达式中也很容易看出(!A&B)是不必要的,但我不能演示它。我怎么发动汽车呢?!A&B OR !A&C O