┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/16 16:41:31

┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式
┐(P----Q)<=>(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式

┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式
┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式
不明白本题问的是什么?
是将(P∧┐Q)∨(┐P∧Q)转换成┐(P----Q)形式吗?
根据逻辑函数的反演律
(P∧┐Q)∨(┐P∧Q)=┐(┐(P∧┐Q) ∧┐(┐P∧Q))
=┐((┐P∨Q) ∧(P∨┐Q))

证明:(P∧Q)∨(P∧┐ Q)P. ((p∧┐q)∨q)∧((p∧┐q)∨┐p)是怎么变成(p∨q)∧(┐q∨┐p)的? 已知命题p 命题q 那么pVq p^q p∧┐q (┐p∧q pV┐P 证明┐(P→Q)《《==》》P∧┐Q证明P→(Q→P)《《==》》┐P→(P→┐Q) ┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式 离散数学证明等值式:(p∧┐q)∨(┐p∧q)(p∨q)∧┐(p∧q) 请给出┐p,p∧ q,p∨ q的真值表 关于离散数学的几个问题证明P→Q=>┐P∨Q证明┐P∨(P∧Q)=>P→(P∧Q)R→┐R是什么? 普通逻辑问题 与“p→q”等值的命题是( ).①p∨┐q ②┐p∨q ③┐p∧┐q ④┐p←q ((┐p∨p)∧(┐p∨┐q))∨q=(┐p∨┐q)∨q=T怎么来的? 证明┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式离散数学的题证明┐(P↔Q)(P∧┐Q)∨(┐P∧Q),其中P、Q为命题公式 (┐p∨q∨r)∧(┐p∨q∨┐r)∧(┐p∨┐q∨r)∧(p∨┐q∨r)∧(p∨q∨┐r)∧(p∨┐q∨┐r)是如何变成(┐p∧┐q∧┐r)∨(p∧q∧r)的? 证明(P→Q)→R等价(P∨R)∧(┐Q∨R) 急求!┐(P∧Q)→(P∨Q) 主析取范式 详细的! (┐p∨r)∧(p→q)的成假赋值(p→q)∧(┐(p∧r)∨p)的成假赋值 (p^q)v┐(┐pvq)P 离散数学用基本等价式证明┐(P←→Q)=(P∨Q) ∧( ┐P∨┐Q)是【用基本等价式证明】 【离散数学】析取范式和合取范式怎么转化?(P∧Q)∨(┐P∧Q)∨(┐Q∧P) 怎么转成合取范式呢?