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