作业帮 > 数学 > 作业

离散数学化简命题(A∨B∨C)∧(┐A∧B∧C)命题如何化简,

来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/05/15 00:57:20
离散数学化简命题
(A∨B∨C)∧(┐A∧B∧C)
命题如何化简,
离散数学化简命题(A∨B∨C)∧(┐A∧B∧C)命题如何化简,
(A∨B∨C)∧(┐A∧B∧C)
=(A∧(┐A∧B∧C))∨(B∧(┐A∧B∧C))∨(C)∧(┐A∧B∧C))(交对并分配律)
=(A∧┐A∧B∧C)∨(B∧┐A∧B∧C)∨(C∧┐A∧B∧C)
=F∨(┐A∧B∧C)∨(┐A∧B∧C)(F是逻辑假,有时写为0)
=(┐A∧B∧C)∨(┐A∧B∧C)(幺律,F与任意公式取并保持公式不变)
=┐A∧B∧C(幂等律)