求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式呵呵,正如您所说...好不容易等到这个网站开放注册了,却在注册时遇到了这么有个性的验证问题,版主想要把高等数学发扬广

来源:学生作业帮助网 编辑:六六作业网 时间:2024/11/08 18:51:57
求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式呵呵,正如您所说...好不容易等到这个网站开放注册了,却在注册时遇到了这么有个性的验证问题,版主想要把高等数学发扬广求与公式((X

求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式呵呵,正如您所说...好不容易等到这个网站开放注册了,却在注册时遇到了这么有个性的验证问题,版主想要把高等数学发扬广
求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式
呵呵,正如您所说...
好不容易等到这个网站开放注册了,却在注册时遇到了这么有个性的验证问题,版主想要把高等数学发扬广大吗...
我也正在研读离散函数数学的相关理论,但几乎看不懂,特别是那个真值表...>_<
如果不麻烦的话,请务必在找到答案后通知我吧,

求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式呵呵,正如您所说...好不容易等到这个网站开放注册了,却在注册时遇到了这么有个性的验证问题,版主想要把高等数学发扬广
我把答案贴出来吧,
主合取范式
(X1VX2V~X3VX4)∧(X1V~X2V~X3VX4)∧(~X1VX2VX3VX4)∧(~X1VX2V~X3VX4)∧(~X1V~X2V~X3VX4)
主析取范式
(X1∧X2∧X3∧X4)V(X1∧X2∧~X3∧X4)V(X1∧X2∧~X3∧~X4)V(X1∧~X2∧X3∧X4)V(X1∧~X2∧~X3∧X4)V(~X1∧X2∧X3∧X4)V(~X1∧X2∧~X3∧X4)V(~X1∧X2∧~X3∧~X4)V(~X1∧~X2∧X3∧X4)V(~X1∧~X2∧~X3∧X4)V(~X1∧~X2∧~X3∧~X4)

我知道你想注册VZ,请稍等几天,或者加我QQ10166664

离散数学:求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式如果答对一定追分 求x1+x2+x3+x4+…xn-1公式 离散数学证明:X1∨X2是X3∨X4,X3→X2,X4→X1的有效结论 求与公式((x1→x2)→x3)→x4逻辑等价的主合取范式和主析取范式.式中的数字是下标,本人学文科的,对此一窍不通,盼望达人解答. x1+x3+x4=7 x2+x3+x4=6 x2+x1+x4=8 x2+x1+x3=9 求x1 x2 x3 x4 是多少? 求解一道大一线性代数题目x1 - x2 - x3 + x4 = 0求非线性方程组{ x1 - x2 + x3 - 3x4= 1 }的通解2x1-2x2-4x3+6x4= -1需要步骤与操作方法及其原因... X1+X2+.X7=2010,X1+X2=X3,X2+X3=X4,X3+X4=X5.求X1+X2+X3的最大值? 设x1,x2,x3,x4,x5是自然数,且满足x1+x2+x3+x4+x5=x1*x2*x3*x4*x5,试求x5的最大值 已知正整数x1 、 x2 、x3 、 x4 、 x5、,且x1 + x2 + x3+ x4 + x5= x1 x2 x3 x4 x5.求x5的最大值. 求线性方程组X1-X2-X3+X4=O X1-X2+X3-3X4=0 X1-X2-2X3+3X4=0 最好有具体过程 求下列线性方程组的通解:2x1+x2-x3+x4=1,4x1+2x2-2x3+x4=2,2x1+x2-x3-x4=1 求非其次线性方程组 X1+X2-3X3-X4=1 3X1-X2-3X3+4X4=4 X1+X2-9X3-8X4=0 x1+x2+x3+x4+x5=2006,求x1^2+x2^2+x3^2+x4^2+x5^2最大值?x1,x2,x3,x4,x5均为正整数 求线性方程组一般解,2X1+X2-2X3+3X4=03X1+2X2-X3+2X4=0X1+X2+X3-X4=0 求与((X1 -> X2) -> X3) -> X4逻辑等价的主合取范式和主析取范式```? 请问方程组x1+x2-3x4-x5=0,x1-x2+2x3-x4+x5=0,4x1-2x2+6x3-5x4+x5=0的基础解系与通解怎么求 求一道数学题(高数)2X1+5X2+X3+2X4=0X1-X3+3X4=0-X1-5X2-2X3+X4=0 线性代数 求通解X1+2X2-X3-X4=0X1+2X2 +X4=4-X1-2X2+2X3+4X4=0求通解