用公式求P→(P∧(Q→R))
来源:学生作业帮 编辑:搜搜做题作业网作业帮 分类:数学作业 时间:2024/06/17 01:22:37
用公式求P→(P∧(Q→R))
求主析取范式
求主析取范式
![用公式求P→(P∧(Q→R))](/uploads/image/z/19007871-15-1.jpg?t=%E7%94%A8%E5%85%AC%E5%BC%8F%E6%B1%82P%E2%86%92%28P%E2%88%A7%28Q%E2%86%92R%29%29)
用P’表示非P,
P→(P∧(Q→R))
=P’∨(P∧(Q’∨R))
=(P’∨P)∧(P’∨(Q’∨R))
=P’∨Q’∨R.
P→(P∧(Q→R))
=P’∨(P∧(Q’∨R))
=(P’∨P)∧(P’∨(Q’∨R))
=P’∨Q’∨R.
求命题公式(p∨(q∧r))→(p∧q∧r)的主析取范式 急
求命题公式(p∨(q∧r))→(p∧q∧r)的主合取范式
求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用,
用等值演算或真值表证明公式(p→q)∧(p→r)<=>p→(q∧r)
求命题公式 ((p∨q)→r)→p 的主析取范式
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急
求帮离散数学证明题,利用真值表证明公式((P→Q) ∧(Q→R)) →(P→R)为永真式
求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦
用“p→q=~p∨q”证明:(p→q)∧(q→r)=> p→r
求公式(Q→P)∧(┓P∧Q)的主合取范式
设命题公式G=┐(P→Q)∨(Q∧(┐P→R)),求G的主析取范式
(P→Q)∧(R→Q)<=>(P∨R)→Q