我使用14个Boolean代数定律步骤简化了布尔表达式，现在有了一个有效的合成函数，根据KV映射，该函数仍然具有冗余项。
为了删除该术语，我尝试了各种分配，补码和身份应用，后跟deMorgans law，以及共识定理方法。在我查阅过的教科书中，他们都说，解决这一问题没有理论或规则，只是经验！
经过简化（页面和一半）后，我得到的表达式是
z = ~a~cd + b~a + b~d + bc [1]
使用KV地图，我得到的表达式要简单一些
z = ~a~cd + b~d + bc [2]
每个表达式的真值表是等效的，因此我的第一个表达式[1]的b〜a似乎是多余的。
我希望能够通过应用布尔代数定律来取消多余的**b~a**函数，但是经过大量实验，我找不到入口点。
这是一个作业问题，所以我不希望有人做作业，但建议您如何应对这一挑战。