利用主析取范式判断公式((p→q)∧p)→q类型
P→Q=~P∨Q~Q→~P=~(~Q)∨~P=Q∨~P=~P∨Q(~P∨Q)∧(~P∨Q)=~P∨Q为仅可满足式当(P,Q)=(0,0),(0,1),(1,1)时均可使命题为真
为您推荐：
其他类似问题
扫描下载二维码P→（（Q→P）∧（┐P∧Q））主析取范式和主合取范式PV(Q∧R)→(P∧Q∧R)主析取范式
1、P→（（Q→P）∧（┐P∧Q））=┐P V （（Q→P）∧（┐P∧Q））==┐P V （（┐Q V P）∧（┐P∧Q））=┐P V （（┐Q ∧（┐P∧Q）) V (P∧（┐P∧Q）））=┐P=(┐P∧┐Q )V(┐P∧Q )(主析取范式)=(┐P V Q)∧(┐P V┐ Q)(主合取范式)2、PV(Q∧R)→(P∧Q∧R)=┐（PV(Q∧R)）V (P∧Q∧R)=（┐P∧(Q V R)）V (P∧Q∧R)=（┐P∧Q ∧ R）V（┐P∧┐Q ∧ R）V（┐P∧Q ∧┐ R）V (P∧Q∧R))(主析取范式)=┐（┐P∧┐Q ∧┐ R）V（P∧┐Q ∧ R）V（P∧Q ∧┐ R）V ((P∧┐Q∧┐R))=（PVQ V R）∧（┐PV Q V ┐R）∧（┐PV┐Q V R）∧ (┐P VQ V R)（主合取范式）
为您推荐：
其他类似问题
扫描下载二维码求(¬R∨(Q→P))→(P→(Q∨R))的主析取范式和主合取范式，求大神_百度知道 上传我的文档
 下载
 收藏
该文档贡献者很忙，什么也没留下。
 下载此文档
正在努力加载中...
离散数学第一学期习题及答案
下载积分：1000
内容提示：离散数学第一学期习题及答案
文档格式：DOC|
浏览次数：125|
上传日期： 09:10:58|
文档星级：
该用户还上传了这些文档
离散数学第一学期习题及答案
官方公共微信(p→q)∧(q→r)求主析取范式_百度知道}