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

分类: 作业答案 • 2021-12-20 04:26:35

问题描述：

离散数学化简命题
(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)...