离散数学:求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式如果答对一定追分

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/29 09:11:46
离散数学:求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式如果答对一定追分

离散数学:求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式如果答对一定追分
离散数学:求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式
如果答对一定追分

离散数学:求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式如果答对一定追分
列真值表法或者逻辑推出法都可以知道
主合取范式为:(┒X1∨X2∨X3∨X4)∧(┒X1∨X2∨┒X3∨X4)∧
(X1∨X2∨┒X3∨X4)∧(X1∨┒X2∨┒X3∨X4)∧(┒X1∨X2∨┒X3∨X4)∧(┒X1∨┒X2∨┒X3∨X4)
主析取范式为:(┒X1∧X2∧┒X3∧X4)∨(┒X1∧X2∧┒X3∧┒X4)∨(┒X1∧┒X2∧┒X3∧X4)∨(┒X1∧┒X2∧┒X3∧┒X4)∨
(X1∧X2∧┒X3∧X4)∨(X1∧X2∧┒X3∧┒X4)∨(┒X1∧X2∧┒X3∧X4)∨(┒X1∧X2∧┒X3∧┒X4)∨(X1∧X2∧X3∧X4)∨
(X1∧X2∧┒X3∧X4)∨(X1∧┒X2∧X3∧X4)∨(X1∧┒X2∧┒X3∧X4)∨(┒X1∧X2∧X3∧X4)∨(┒X1∧X2∧┒X3∧X4)
∨(┒X1∧┒X2∧X3∧X4)∨(┒X1∧┒X2∧┒X3∧X4)
如果不明白怎么算的,加我,或者到我空间给我留言
314782272

离散数学:求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式如果答对一定追分 离散数学证明:X1∨X2是X3∨X4,X3→X2,X4→X1的有效结论 求x1+x2+x3+x4+…xn-1公式 求与公式((x1→x2)→x3)→x4逻辑等价的主合取范式和主析取范式.式中的数字是下标,本人学文科的,对此一窍不通,盼望达人解答. X2=X1+X3-204=10X1+8X2-176=-40X3-8X2求X1 X2 X3 求满足不等式x1+x2+x3 x1:x2:x3=1:3:5 由什么公式推出(一天内求答案) 随机变量X1 X2 X3独立且都服从N(a,b2) 求COV(X1+X2-X3,X1-X2-X3) x1+x3+x4=7 x2+x3+x4=6 x2+x1+x4=8 x2+x1+x3=9 求x1 x2 x3 x4 是多少? 求高手编一个简单的公式的C语言程序.公式在问题补充里.y=x1(1+x2)(1+x3),其中x1、x2、x3是随着变量x0变化的固定值,x0、x1、x2、x3都需要手动输入求y...求高手编一个程序当输入x0、x1、x2、x3 X1+X2+.X7=2010,X1+X2=X3,X2+X3=X4,X3+X4=X5.求X1+X2+X3的最大值? 求解一道大一线性代数题目x1 - x2 - x3 + x4 = 0求非线性方程组{ x1 - x2 + x3 - 3x4= 1 }的通解2x1-2x2-4x3+6x4= -1需要步骤与操作方法及其原因... 求与((X1 -> X2) -> X3) -> X4逻辑等价的主合取范式和主析取范式```? 求下面线性规划问题的对偶问题minZ- -x1+3x2-5x3-2x1+6x2-x3≥30X1+4x2-3x3≤20X1-x2+x3- -4X1≤0,x2≥0,x3 无约束 已知A(x1,y1),B(x2,y2),C(x3,y3),求二次函数的a b c找到了a=(y3)/(((x2)-(x3))*((x1)-(x3)))+(y2)/(((x2)-(x3))*((x2)-(x1)))+(y1)/(((x1)-(x2))*((x1)-(x3)));b=((y2)-(y1)-a*((x2)*(x2)-(x1) *(x1)))/((x2)-(x1));c=y1-a*(x1)*(x1)-b*x1; 试用克拉默法则求下列线性方程组的解 x1+x3=1;2x1+2x2+3x3=3;x2+x3=-1x1+x3=12x1+2x2+3x3=3x2+x3=-1 有理数x1、x2、x3,满足x1+x2 已知平面直角坐标系中三点(x1,y1)(x2,y2)(x3,y3)求此三角形面积的公式?