4.用等值演算法证明下列等值式.-|||-(1) Leftrightarrow (plambda q)V(plambda -q)-|||-(2) ((parrow q)(Aarrow r)arrow Leftrightarrow (parrow (qAr))-|||-③ -(p-q)leftharpoons (pvq)lambda -(phq)-|||-④(p^-q)V (-p^q)=(pVq)^-(p^q)

参考答案与解析:

相关试题

1.8 用等值演算法证明下列等值式.-|||-(1) (plambda q)V(pcap -q)Leftrightarrow p.-|||-(2) ((p-q)(Aarrow r)leftharpoo

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

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

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

  • 查看答案
  • 离散数学,等值演算法判断命题公式的类型8、9两个小题,死活不知道怎么化了,求大神帮忙1.7判断下列命题公式的类型,方法不限.-|||-(1) arrow (p(V)_(q)(V)_(r)).-|||-

    离散数学,等值演算法判断命题公式的类型8、9两个小题,死活不知道怎么化了,求大神帮忙1.7判断下列命题公式的类型,方法不限.-|||-(1) arrow (p(

  • 查看答案
  • 离散数学,用等值公式求证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

  • 查看答案
  • 1.试证下面的等价式:-|||-(1) (-PA)(-QAR))cup (QAR)cup (PAR)=R;-|||-(2) arrow (Qarrow P)=7Parrow (Parrow Q);-|

    1.试证下面的等价式:-|||-(1) (-PA)(-QAR))cup (QAR)cup (PAR)=R;-|||-(2) arrow (Qarrow P)=7

  • 查看答案
  • 设前提集合 Gamma = P vee Q, P arrow R, Q arrow R,结论 H = R。证明 Gamma Rightarrow H。

    设前提集合 Gamma = P vee Q, P arrow R, Q arrow R,结论 H = R。证明 Gamma Rightarrow H。设前提集合

  • 查看答案
  • “(p而且q)或者((并非p)而且(并非q))”等值于()。

    [单选题]“(p而且q)或者((并非p)而且(并非q))”等值于()。A.并非(p并且q)B.并非(p或者q)C.并非(要么p,要么q)D.并非(p当且仅当q)

  • 查看答案
  • 下列与p∨﹁q想等值的命题是()。

    [单选题]下列与p∨﹁q想等值的命题是()。A . ﹁(p∧﹁q)B . ﹁p∨qC . ﹁(﹁p∧q)D . ﹁(p→﹁q)

  • 查看答案
  • 一p∧q的等值判断有()。

    [多选题] 一p∧q的等值判断有()。A . p→qB . 一(p←q)C . 一(p→q)D . 一(p∨q)E . 一(q→p)

  • 查看答案
  • 等精度测量某电阻10次,得到的测量列如下:R1= 167.95 Q R2= 167.45 Q R3 = 167.60 Q R4= 167.60 Q R5= 167.87 Q

    等精度测量某电阻10次,得到的测量列如下:R1= 167.95 Q R2= 167.45 Q R3 = 167.60 Q R4= 167.60

  • 查看答案