1个回答
展开全部
先提示两条等价式：
①A↔B<=>(¬A∧¬B)∨(A∧B)
②A→B<=>¬A∨B
¬(P↔(Q→(P∨R)))
<=>¬( (P∧(¬Q∨(P∨R))) ∨ (¬P∧¬(¬Q∨(P∨R))) )
<=>¬( ((P∧¬Q) ∨ (P∧(P∨R)) ) ∨ (¬P∧(Q∧P∧R)) )
<=>¬( (P∧¬Q) ∨ P ∨ F )
<=>¬( (P∧¬Q) ∨ P )
<=>¬P
①A↔B<=>(¬A∧¬B)∨(A∧B)
②A→B<=>¬A∨B
¬(P↔(Q→(P∨R)))
<=>¬( (P∧(¬Q∨(P∨R))) ∨ (¬P∧¬(¬Q∨(P∨R))) )
<=>¬( ((P∧¬Q) ∨ (P∧(P∨R)) ) ∨ (¬P∧(Q∧P∧R)) )
<=>¬( (P∧¬Q) ∨ P ∨ F )
<=>¬( (P∧¬Q) ∨ P )
<=>¬P
本回答被网友采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
