1.试证下面的等价式:-|||-(1) (-PA)(-QAR))cup (QAR)cup (PAR)=R;-|||-(2) arrow (Qarrow P)=7Parrow (Parrow Q);-|||-(3) arrow (Qcup R)=(Parrow Q)V(Parrow R) ;-|||-(4) (Parrow Q)cap (Rarrow Q)=(PVR)arrow Q-|||-(1)证明-|||-(-Acap (-QAR))cup (QAR)V(PAR)-|||-=((-P^(-Q)R^R))VQ)A((-PA(-QAR))RQ)V(PAR)-|||-=((-PVQ)^(RVQ))^((PVR))R))V(P^R)-|||-=((-PVVQ)N(RVQ)NR)V(PAR)-|||-=((-PQVQ)cap R)(Pcap R)-|||-=(-Plambda R)V(Qcap R)V(Pcap R)-|||-=(Rlambda (-PVVP))V(Qcap R)-|||-=R-|||-得证。-|||-(2)证明 左边 =Parrow (Qarrow P)-|||-=7pV(-QVP)-|||-=-PV-QVP-|||-=PV-PVV-Q-|||-=T-|||-右边 =7parrow (parrow Q)-|||-=PV-7PVQ-|||-=T-|||-可有:左边=右边。得证。-|||-(3)证明 左边 =-PVQVR-|||-右边 =7pVQV-7pVR-|||-=7PVQVR-|||-可有:左边=右边。得证。-|||-(4)证明 左边 =(-PVQ)cap (-RVQ)-|||-=(-PA-RR)VQ-|||-=7(PVR)VQ-|||-=(PVR)arrow Q= 右边-|||-很证

参考答案与解析:

相关试题

4.用等值演算法证明下列等值式.-|||-(1) Leftrightarrow (plambda q)V(plambda -q)-|||-(2) ((parrow q)(Aarrow r)arrow

4.用等值演算法证明下列等值式.-|||-(1) Leftrightarrow (plambda q)V(plambda -q)-|||-(2) ((parro

  • 查看答案
  • 5.求 (7Parrow R)cap (Pleftharpoons Q) 的主合取范式和主析取范式。

    5.求 (7Parrow R)cap (Pleftharpoons Q) 的主合取范式和主析取范式。

  • 查看答案
  • 离散数学,用等值公式求证1.7 判断下列命题公式的类型,-|||-(1) arrow (pVq(V)_(r)).-|||-(2) (parrow -p)arrow -p.-|||-(3) arrow

    离散数学,用等值公式求证1.7 判断下列命题公式的类型,-|||-(1) arrow (pVq(V)_(r)).-|||-(2) (parrow -p)arro

  • 查看答案
  • 8.求下列公式的主合取范式,再用主合取范式求主析取范式.-|||-(1) (plambda q)arrow q-|||-(2) (parrow q)arrow r-|||-(3) (rarrow p)

    8.求下列公式的主合取范式,再用主合取范式求主析取范式.-|||-(1) (plambda q)arrow q-|||-(2) (parrow q)arrow

  • 查看答案
  • ‎公式(forall x)[ P(x)在Q(x,A)arrow (exists y)[ R(x,y)cup S(y)] ] 中,(forall x)[ P(x)在Q(x,A)arrow (exists

    ‎公式(forall x)[ P(x)在Q(x,A)arrow (exists y)[ R(x,y)cup S(y)] ] 中,(forall x)[ P(x)

  • 查看答案
  • 1. Don’t_________ the milk into the cup.

    [单选题]1. Don’t_________ the milk into the cup. It’s full.A.peelB.pourC.leaveD.drink

  • 查看答案
  • (1,2)cup (2,3] C.[1,3) D. [ 1,2)cup (2,3)

    (1,2)cup (2,3] C.[1,3) D. [ 1,2)cup (2,3)

  • 查看答案
  • 7.自催化反应 +Parrow 2P 的速率方程为: -(r)_(Delta )=k(C)_(A)(C)_(P) ,k=1m^3·-|||-(0.1)^-1cdot (min)^-1, 原料组成为含A

    7.自催化反应 +Parrow 2P 的速率方程为: -(r)_(Delta )=k(C)_(A)(C)_(P) ,k=1m^3·-|||-(0.1)^-1cd

  • 查看答案
  • cup A_n)=1-P(bar A_1)P(bar A_2)... P(bar A_n)。

    cup A_n)=1-P(bar A_1)P(bar A_2)... P(bar A_n)。若随机事件$A_1,A_2,...,A_n$相互独立,则$P(A_1

  • 查看答案
  • (0,1)cup (1,4] D. (0,1)cup (1,4)

    (0,1)cup (1,4] D. (0,1)cup (1,4)

  • 查看答案