作业帮离散数学-一阶逻辑中 拒取式：(A→B)∧非B 等价于 (A→非B)∧B 以上两个公式 都能够推理出- 非A?
来源：学生作业帮 编辑：作业帮 分类：数学作业 时间：2024/05/09 11:52:53
离散数学-一阶逻辑中 拒取式：(A→B)∧非B 等价于 (A→非B)∧B 以上两个公式 都能够推理出- 非A?
A→B 可以转换成 非A或B(蕴含定义）,：(A→B)∧非B 就等于 （非A或B）与非B 等于 （非A与非B）或 （B 与非B） B 与非B一定是假,在或运算中,逻辑假可以忽略（吸收律）,所以原式继续转换为非A与非B
真值表检验：当B为真,无论A,(A→B)∧非B 都为假,所以(A→B)∧非B不等价于 非A,而等价于非A与非B
将B=非B代入：(A→B)∧非B,有：(A→非B)∧非（非B） 也就是(A→非B)∧B,所以两个公式等价
真值表检验：当B为真,无论A,(A→B)∧非B 都为假,所以(A→B)∧非B不等价于 非A,而等价于非A与非B
将B=非B代入：(A→B)∧非B,有：(A→非B)∧非（非B） 也就是(A→非B)∧B,所以两个公式等价
离散数学-一阶逻辑中 拒取式：(A→B)∧非B 等价于 (A→非B)∧B 以上两个公式 都能够推理出- 非A?
公式法化简逻辑函数Y=AB非+A非B+BC非+B非C
逻辑代数化简 F=A非B+BC非+B非C+AB非
画出逻辑电路图,S=A非B非+AB
简单逻辑代数表达式化简 ABC+A非B非C+A非BC非+AB非C非
用代数法化简下列逻辑函数A非B非C+A非BC+ABC非+A非B非C非+ABC
逻辑代数化简F=非（非A*B+A*非B+AB+非A*非B）+非C
逻辑函数式Y=A非B+A非C+BC非+AD+BDEF
1.证明任意两个n*n非奇异矩阵行等价 2.奇异矩阵B可能行等价于非奇异矩阵A吗?
逻辑命题：若A则B,能推出非A则非B了吗?
逻辑函数化简F=A×B＋A非×C＋(B×C)非
逻辑表达式化简abc+非a+非b+非c+d