离散数学求解 (p→q)∧(q→p)等值(p∨q)→(q∧p),其中p,q多少命题公式。

2024-12-02 06:50:29
推荐回答(3个)
回答(1):

(p→q)∧(q→p)
<=>(非p∨q)∧(非q∨p) 蕴涵等值式
<=>(非p∧非q)∨(非p∧p)∨(q∧非q)∨(q∧p) 分配律
<=>(非p∧非q)∨(p∧q) 矛盾律 同一律 交换律
<=>非(p∨q)∨(p∧q) 德摩根律
<=>(p∨q)→(p∧q) 蕴涵等值式

回答(2):

囧, p→q当且仅当非p∨q
则(非p∨q)∧(非q∨p)等值于(非p∧非q)∨(p∧q) //交换律
(非p∧非q)∨(p∧q) 等值于 非(p∨q) ∨(p∧q) //德摩根律
非(p∨q) ∨(p∧q) 等值于 (p∨q)→(q∧p)

回答(3):

没有学过,嘿嘿。。数学公式都是最基本演变来的,所以建议你试试最基本的