离散数学 命题逻辑等值演算 坐等大神解答第4题（3）（4），谢谢
展开全部
（3）┐（p↔q）
<=> ┐（（p→q）∧（q→p））
<=> ┐（p→q）∨┐（q→p）
<=>┐（┐p∨q）∨┐（┐q∨p）
<=>（p∧┐q）∨（q∧┐p）
<=>（p∨q）∧（┐p∨┐q）
<=>（p∨q）∧┐（p∧q）
（4）（p∧┐q）∨（┐p∧q）
<=>（p∨┐p）∧（p∨q）∧（┐q∨┐p）∧（┐q∨q）
<=>（p∨q）∧（┐q∨┐p）
<=>（p∨q）∧┐（q∧p）
<=> ┐（（p→q）∧（q→p））
<=> ┐（p→q）∨┐（q→p）
<=>┐（┐p∨q）∨┐（┐q∨p）
<=>（p∧┐q）∨（q∧┐p）
<=>（p∨q）∧（┐p∨┐q）
<=>（p∨q）∧┐（p∧q）
（4）（p∧┐q）∨（┐p∧q）
<=>（p∨┐p）∧（p∨q）∧（┐q∨┐p）∧（┐q∨q）
<=>（p∨q）∧（┐q∨┐p）
<=>（p∨q）∧┐（q∧p）
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
