来自陈欣琦的问题
求逻辑推导((PQ)^Q)=P^Q证明并验证对错
求逻辑推导((PQ)^Q)=P^Q证明并验证对错
3回答
2020-08-14 17:14
求逻辑推导((PQ)^Q)=P^Q证明并验证对错
求逻辑推导((PQ)^Q)=P^Q证明并验证对错
方法1.用真值表法,P,Q分别为00,01,10,11时左右两边的真值都相同,分别为0,0,0,1因此左右两边等值方法2.用主合取范式法,左边的主合取范式就是右边方法3.首先右边式子为真当且仅当P,Q均为真,而且左边式子为真当且仅当P,...
谢谢了,其他都看懂了。只是最后一个方法,(非P或Q)^(非Q或P)^Q可以用非配律么?
括号内析取,括号外合取,就能用分配律如果括号内有和括号外相同的式子,那就直接用吸收律这道题中可以用一次吸收律,(非P或Q)^Q直接等于Q然后Q^(非Q或P)用分配律,等于(Q^非Q)析取(Q^P),等于1析取(Q^P),等于Q^P,即右边