作业帮 > 数学 > 作业

离散数学证明题 第一小题中第一行到第二行的推导

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/09/02 22:56:07
离散数学证明题 第一小题中第一行到第二行的推导
 
这个用的是分配律,不过有个错误,两个括号之间的联结词应该是合取∧.
再问: 第二行的两个括号之间是合取吗 那后一个括号里不也是两项吗
再答: 是的。 后面一项在分配之后是Q∨┐P∨Q,┐P与Q可交换,Q∨Q等于Q,这个应该是幂等律。所以剩下的就是┐P∨Q
再问: 嗯,对哦!!那么Q合取Q也是Q吗
再答: 是的,这个也是幂等律