用等值演算法求公式((pVq)^(p->q))(q->p)的主析取范式与主合取范式
我们已知：p->q┐pvq左边┐（pq）┐((p->q)^(q->p))┐((┐pvq)^(┐qvp))┐(┐pvq)v┐(┐qvp)(p^┐q)v(q^┐p)右边(pvq)^(┐pv┐q)(p^(┐pv┐q))v(q^(┐pv┐q))(p^┐q)v(q^┐p)左边
举一反三
内容
- 0
求以下公式的主析取范式和主合取范式：(p∨(q∧r))→(p∧q∧r)
- 1
【简答题】用真值表求下面公式的主析取范式和主合取范式 ( p→q)∧( q→r) (25.0分)
- 2
6.求下列命题公式的主析取范式，再用主析取范式求出主合取范式。 (p→q)∧(q→r)
- 3
求下列命题公式的主析取范式和主合取范式 – p∧(q∨(~p∧r))
- 4
用主析取范式判断 公式(p→q)→r 与公式 q→(p→r)是否等值。