求与((X1 -> X2) -> X3) -> X4逻辑等价的主合取范式和主析取范式```?

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/28 15:38:52

求与((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)

离散数学,偶没学好...

X2=X1+X3-204=10X1+8X2-176=-40X3-8X2求X1 X2 X3 求满足不等式x1+x2+x3 随机变量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 是多少? 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 C 语言解方程组x1,x2,x3 为三个整数.x1小于等于x2,x2小于等于x3.x1 + x2 + x3 = 1000.x1平方 + x2平方 = x3 平方.x1*x1 + x2*x2 =x3*x3 求x1,x2 x3,并求出有几个解 请问方程组x1+x2-3x4-x5=0,x1-x2+2x3-x4+x5=0,4x1-2x2+6x3-5x4+x5=0的基础解系与通解怎么求 已知整数X1,X2,X3,...X2008满足①-1≤Xn≤2,n=1,2,...2008;②X1+X2+...X2008=208;③X1+X2+...X2008=2008.求X1+X2+...X2008的最大值与最小值. 设有方程组x1+x2+x3=1,x1+ax2+x3=b,求方程组通解 若a,x1,x2,x3,b与a,y1,y2,y3,y4,y5,b均成等差数列,求(x3-x1)/(y3-y1)过程详细点 二次型f(x1,x2,x3)=(x1-x2)^2+(x2-x3)^2的矩阵是什么,怎么求? 已知x1,x2,...x2010均为正实数,求x1+x2/x1+x3/x1*x2+...+x2010/x1*x2*...x2010+4/X1*..X2010的最小值