想问下离散数学中这两个式子等值是如何得出的？
1个回答
展开全部
发生变化的就是第二个式子多了一项：(q∧¬q)；
可能你觉得这是凭空多出来的，所以不好理解。其实你只要再“算”一下就明白了。这里用了两种运算律：
否定律：A∧¬A≡0；
自等律：A∨0≡A；
所以：A=A∨0=A∨(B∧¬B)；——A、B为任意逻辑表达式；
其实，不只是逻辑运算，在代数运算里也有这种“无中生有”的算法：
100 = 100 + 0 = 100 + (50 - 50)；
可能你觉得这是凭空多出来的，所以不好理解。其实你只要再“算”一下就明白了。这里用了两种运算律：
否定律：A∧¬A≡0；
自等律：A∨0≡A；
所以：A=A∨0=A∨(B∧¬B)；——A、B为任意逻辑表达式；
其实，不只是逻辑运算，在代数运算里也有这种“无中生有”的算法：
100 = 100 + 0 = 100 + (50 - 50)；
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
