当前位置：
首页
> 离散数学(02324)
证明下列各式:(1)A→(B→C),B→(C→D)⟹ A→(B→D);(2)¬PⅤ(¬QVⅤR),Q→(R→S),P⟹ Q→S;
- 2024-08-03 23:47:45
- 离散数学(02324)
若含n(n≥2)个命题变项的命题公式A的主合取范式包括k个极大项,则A的主析取范式必定包括_____________个极小项。
- 2024-08-03 23:47:59
- 离散数学(02324)