求公式((P∨q)∧(p→q))↔(q→p) 的主析取范式,再由主析取范式求出主合取范式。
展开全部
【答案】:q∧p(主析取范式) ; (p∨q)∧(p∨q)∧(p∨非q) (主合取范式)
解析:((p∨q) ∧(p→q)) ?(q→p)
=((p∨q) ∧(非p∨q)) ?(非q∨p)
=((p∧非p)∨q)) ?(非q∨p)
=(F∨q)) ?(非q∨p)
=q ?(非q∨p)
=(q∧(非q∨p))∨(非q∧非(非q∨p))
=(q∧p)∨(非q∧(q∧非p))
=(q∧p)∨F
=q∧p(主析取范式)
= (q∨(p∧非p))∧(p∨(q∧非q))
=(q∨p)∧(q∨非p)∧(p∨q)∧(p∨非q)
=(p∨q)∧(p∨q)∧(p∨非q) (主合取范式)
解析:((p∨q) ∧(p→q)) ?(q→p)
=((p∨q) ∧(非p∨q)) ?(非q∨p)
=((p∧非p)∨q)) ?(非q∨p)
=(F∨q)) ?(非q∨p)
=q ?(非q∨p)
=(q∧(非q∨p))∨(非q∧非(非q∨p))
=(q∧p)∨(非q∧(q∧非p))
=(q∧p)∨F
=q∧p(主析取范式)
= (q∨(p∧非p))∧(p∨(q∧非q))
=(q∨p)∧(q∨非p)∧(p∨q)∧(p∨非q)
=(p∨q)∧(p∨q)∧(p∨非q) (主合取范式)
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询