求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式
来源:学生作业帮 编辑:灵鹊做题网作业帮 分类:综合作业 时间:2024/05/28 03:24:39
求与公式((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)
主合取范式
(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)
求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用,
求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦
求P→Q∨R的析取范式、主析取范式、主合取范式
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急
求公式(Q→P)∧(┓P∧Q)的主析取范式和主合取范式
求下列公式的主范式.1.(P→Q)↔ R(主析取范式) 2.(P→Q)↔ R(主合取范式)
求公式(p→q)∨┐(q∨r)的主析取范式和主合取范式,判断类型,求10.30前答复
求离散数学(P→ Q)→ R主合取范式和主析取范式
P→(P∧(Q→P))的主析取范式和主合取范式
求下列公式的主析取范式和主合取范式P∧Q
求命题公式(P∧Q)∨R的主析取范式和主合取范式
主析取范式和主合取范式的求法!