题目
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= 右边-|||-很证

题目解答
答案
