我开始了一门关于布尔逻辑的课程,我得到了这个布尔表达式,我需要证明。经过几个小时的研究,我尝试了Wolfram Alpha,但与其他方程不同的是,它没有一步一步地解释它是如何简化较长表达式的。在带有真值表的表达式中也很容易看出(!A&B)是不必要的,但我不能演示它。我怎么发动汽车呢?!A&B OR !
我得到了这个代码。true_var和other_true_var是boolean值。这四个条件分支是不同的。do something 1 # do something else # both are false, do a crazy thing
有没有一种“被接受”的方式来写这篇文章?我可以把所有的条件都放入返回布尔值的方法中,