早教吧作业答案频道 -->其他-->
一到证明题求解.利用常用永真蕴含公式证明(A→(B→C))∧((C∧D)→E)∧(┓F→(D→┓E))=>A→(B→F)
题目详情
一到证明题求解.
利用常用永真蕴含公式证明
(A→(B→C))∧((C∧D)→E)∧(┓F→(D→┓E))=>A→(B→F)
利用常用永真蕴含公式证明
(A→(B→C))∧((C∧D)→E)∧(┓F→(D→┓E))=>A→(B→F)
▼优质解答
答案和解析
(A→(B→C))∧((C∧D)→E)∧(┓F→(D→┓E))=>A→(B→F)可以化为
((A∧B)→C))∧((C∧D)→E)∧((D∧E)→F)=>(A∧B)→F
结论很明显不成立
((A∧B)→C))∧((C∧D)→E)∧((D∧E)→F)=>(A∧B)→F
结论很明显不成立
看了 一到证明题求解.利用常用永真...的网友还看了以下：
已知E和F分别是正方体ABCD-A'B'C'D'的棱AA'和CC'上的点,且AE=C'F,求证四边 2020-05-16 …
设有关系模式R(A,B,C,D,E,F),若有如下的函数依赖集F={A→B,(C,A)→D, (E, 2020-05-24 …
若某二叉树采用广义表(A(B(E),C(F(H,G),D)))表示,该二叉树的中序遍历序列为(47) 2020-05-26 …
在四边形ABCD中,∠A=∠BCD=9(1)过点C做对角线BD的垂线,分别交BD、AD于点E、F. 2020-06-06 …
充分必要性问题a,b,c,d,e,f均为非零实数,不等式ax^2+bx+c>0和dx^2+ex+f 2020-06-27 …
设一数列a,b,c,d,e,f,通过栈结构不可能不可能排成的顺序数列为（）A)c,b,e,f,d, 2020-06-28 …
证明(A+B+C)/(D+E+F)不等于（A/D+B/E+C/F)/3请老师把证明过程写下来谢谢! 2020-07-20 …
1.点P为圆O外一点,PS、PT是两条切线,过点P作圆O的割线PAB,交圆O于A,B两点,与ST交 2020-07-31 …
字母a，b，c，d，e，f，g分别代表1至7中的一个数字，若a+b+c=c+d+e=c+f+g，则c 2020-11-03 …
若二叉树的先序和中序遍历结果分别是a,b,d,e,c,f,g,h和d,e,b,a,f,c,h,g,求 2020-12-05 …