逻辑函数的展开与化简

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语言符号代替吧！管理员或版主方便的话可以帮我把帖子编辑一下。