逻辑函数的展开与化简

wsc810

我们知道基本的交与并逻辑函数可化简，具体如下： (A|B)&C=(A&C)|(B&C) (A&B)|C=(A|C)&(B|C) 然而对异或，我们也可仿照上式展开： (A^B)&C=(A&C)^(B&C) 下面这个式子就有点特别了， (A^B)&(~C)=(A|C)^(B|C) 不知道下面的两个式子能展开么： (A&B)^C (A|B)^C 本来要用数学上的符号，这是我用手机浏览时发的，就暂且用C语言符号代替吧！管理员或版主方便的话可以帮我把帖子编辑一下。