试求下列命题公式的取范式与取范式或。 （1）（¬P∨¬Q）→（P↔¬Q） （2）¬（P→Q）↔（P→¬Q） （3）（¬R∧（Q→P））→（P→（Q∨R）） （4）（P→（Q∧R））∧（¬P→（¬Q∧¬R））

题目

试求下列命题公式的取范式与取范式或。 （1）（¬P∨¬Q）→（P↔¬Q） （2）¬（P→Q）↔（P→¬Q） （3）（¬R∧（Q→P））→（P→（Q∨R）） （4）（P→（Q∧R））∧（¬P→（¬Q∧¬R））

相似考题

1.下列命题公式中为重言式的是Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r))Ⅱ．(p→(q∨r))→((p→q)∧(p→r))Ⅲ．((p→q)∧(P→r))→((p→r)Ⅳ．((p∨q)∧(p→r))→(p→r)A．ⅢB．Ⅰ和ⅢC．Ⅰ和ⅡD．Ⅰ、Ⅱ、Ⅲ和Ⅳ

2.下列公式为永真公式的是(14)。A．(P∨Q)→RB．p→(P∨Q)C．(P∨Q)→(P∧Q)D．(P∧Q)图片R

3.设程序如下:includeusing namespace std;int main(){int **p,*q,r=10;q=&r;p=&am设程序如下： #include＜iostream＞ using namespace std; int main() { int **p,*q,r=10; q=&r; p=&q; cout＜＜**p+1＜＜end1; return 0; } 以上程序的输出结果是( )A． p的地址B． r的地址C．11D．运行错误

4.为作图方便，一般取()作为正二测的简化轴向变形系数。A、p=r=1.22，q=0.6B、p=r=1，q=0.5C、p=r=0.82，q=0.47D、p=r=1，q=0.47

更多“试求下列命题公式的取范式与取范式或。 （1）（¬P∨¬Q）→（P↔¬Q） （2）¬（P→Q）↔（P→¬Q） （3）（¬R∧（Q→P））→（P→（Q∨R）） （4）（P→（Q∧R））∧（¬P→（¬Q∧¬R））”相关问题

  • 第1题：

    有以下程序：

    main()

    { int a=7，b=8, *p, *q, *r；

    p=&a; q=&b;

    r=p; p=q; q=r;

    printf("%d,%d,%d,%d\n", *p,*q,a,b);

    }

    程序运行后的输出结果是【 】。


    正确答案：8778
    8,7,7,8 解析：本题中执行语句p=&a和q=&b后，*p=7，*q=8；执行完语句r=p,p=q,q=r后，*p=8,*q=7，故答案为8,7,7,8。

  • 第2题：


    A.ε=2g(Q-P)/RW
    B.ε=2g(Q+P)/RW
    C.ε=2g(Q+P)/R(W+2Q+2P)
    D.ε=2g(Q-P)/R(W+2Q+2P)

    答案：D
    解析：

  • 第3题：

    在以下二难推理中，无效式是（）

    • A、（（（p→q）∧（r→s））∧（p∨r））→（q∨s）
    • B、（（（p→q）∧（r→s））∧（∨）
    • C、（（p→q）∧（p→r））∧（∨））→p
    • D、（（（p→q）∧（r→q））∧（p∨r））→q

    正确答案:C

  • 第4题：

    以“～（p∨q）←r”为一个前提，若加上另一个前提（）。

    • A、“r”，则能必然推出“～p∧～q”
    • B、“～p∧～q”，则能必然推出“～r”
    • C、“～r”，则能必然推出“p∨q”
    • D、“p∨q”，则能必然推出“～r”
    • E、“r”，则能必然推出“～p”

    正确答案:A,D,E

  • 第5题：

    P，Q，R都是4bit的输入矢量，下面哪一种表达形式是正确的（）

    • A、input P[3:0],Q,R;
    • B、input P,Q,R[3:0];
    • C、input P[3:0],Q[3:0],R[3:0];
    • D、input [3:0] P,[3:0]Q,[0:3]R;
    • E、input [3:0] P,Q,R;

    正确答案:E

  • 第6题：

    下列推理形式中，无效的是（）。

    • A、如果p，那么r；如果非p，那么r；P或者非P；所以r
    • B、只有非P，才q；非p；所以非q
    • C、要么p，要么q；q；所以p
    • D、如果p并且q，那么r；非p或者非q；所以；非r
    • E、p并且非q，所以p

    正确答案:B,C,D

  • 第7题：

    下列推理形式中，无效的有（）。

    • A、（（p∨～q）∧q）→～p
    • B、（（p∧q）∧r）→（p∧r）
    • C、（（～p→q）∧q）→～p
    • D、（（p→q）∧（r∧p））→q
    • E、（p→q）∧（r→s）∧（q∨s））→（p∨r）

    正确答案:A,C,E

  • 第8题：

    问答题
    试判断以下各式是否为重言式。　　（1）（P→Q）→（Q→P）　　（2）P→（P→Q）　　（3）Q→（P→Q）　　（4）（P∧Q）→（P→Q）　　（5）（（P→Q）∨（R→Q））→（（P∨R）→Q）　　（6）（（P→Q）∨（（R→S））→（（P∨R）→（Q∨S））

    正确答案：
    (1)否。
    (2)是。
    (3)是。
    (4)是。
    (5)否。
    (6)否。
    重言式(Tautology)又称为永真式,永真式的取值恒为真,所以如果式子的结果为真,则是重言式,否则不是重言式。根据真值表可以快速判断出式子是否为重言式。
    解析： 暂无解析

  • 第9题：

    单选题
    命题形式～（p→（q←r））等值于（）。
    A

    ～（（p∧q）→r）

    B

    p∧（～q∧～r）

    C

    p∧（～q∧r）

    D

    p∧（q∧～r）


    正确答案： C
    解析： 暂无解析

  • 第10题：

    单选题
    在以下二难推理中，无效式是（）
    A

    （（（p→q）∧（r→s））∧（p∨r））→（q∨s）

    B

    （（（p→q）∧（r→s））∧（∨）

    C

    （（p→q）∧（p→r））∧（∨））→p

    D

    （（（p→q）∧（r→q））∧（p∨r））→q


    正确答案： B
    解析： 暂无解析

  • 第11题：

    多选题
    （多选）下列等值式成立的有（　　）。
    A

    P→Q⇔¬Q→¬P

    B

    P∨（P∧R）⇔R

    C

    P∧（P→Q）⇔Q

    D

    P→（Q→R）⇔（P∧Q）→R


    正确答案： D,C
    解析：
    使用特值法检验，B选项中，若令P⇔1、R⇔0，则P∨（P∧R）⇔1，R⇔0，二者不等值，故B不成立；C选项中，若令P⇔0、Q⇔1，则P∧（P→Q）⇔0，Q⇔1，二者不等值，故C项不成立；A、D由真值表可以验证成立，故本题选A、D。

  • 第12题：

    多选题
    下列推理形式中，有效式是（　）
    A

    （p∧q∧r）→（p∧r）

    B

    （（→）∧q）→p

    C

    （（p∨q）∧p）→

    D

    （（←q）∧）→q

    E

    （（p→）∧）→q


    正确答案： D,A
    解析： A项为联言推理的分解式；B项为充分条件假言推理的否定后件式；C项违反了相容选言推理的“肯定一部分选言支，不能否定另一部分选言支”规则；D项违反了必要条件假言推理的“肯定前件不能肯定后件”规则；E项违反了充分条件假言推理“否定前件不能否定后件”的规则。

  • 第13题：

    指针p、q和r依次指向某循环链表中三个相邻的结点，交换结点*q和结点*r在表中次序的程序段是 ( )

    A．p—＞next=r; q—＞next=r—＞next; r—＞next=q;

    B．p—＞next=r; r—＞next=q; q—＞next=r—＞next;

    C．r—＞next=q; q—＞next=r—＞next; p—＞next=r;

    D．r—＞next=q; p—＞next=r; q—＞next=r—＞next;


    正确答案：A

  • 第14题：

    下列推理形式中，有效式是（　）

    • A、（p∧q∧r）→（p∧r）
    • B、（（→）∧q）→p
    • C、（（p∨q）∧p）→
    • D、（（←q）∧）→q
    • E、（（p→）∧）→q

    正确答案:A,B

  • 第15题：

    命题形式～（p→（q←r））等值于（）。

    • A、～（（p∧q）→r）
    • B、p∧（～q∧～r）
    • C、p∧（～q∧r）
    • D、p∧（q∧～r）

    正确答案:C

  • 第16题：

    以“（p→q）→r”和“～r”为前提，可必然推出结论（）。

    • A、～p∧q
    • B、r→p
    • C、q∨r
    • D、～（～p∨q）
    • E、～q∧p

    正确答案:B,D,E

  • 第17题：

    在下列选言推理形式中，无效的有（）。

    • A、（p∨q）∧p├﹁q
    • B、（pqr）∧﹁p├q∧r
    • C、（pqr）∧﹁p├qr
    • D、（p∨q∨r）∧﹁p├q∨r
    • E、（p∨q∨r∨s）∧（﹁p∧﹁q）├r∨s

    正确答案:A,B

  • 第18题：

    ～（p→（q∨r））等值于（）。

    • A、（p∨（～q∧r））
    • B、（p∧（～q∧～r））
    • C、（p∧（～q∨～r））
    • D、（p∨（～q∨～r）

    正确答案:B

  • 第19题：

    以“～p”和“p←（q←r）”为前提，可必然推出结论（）。

    • A、p←r
    • B、～p∨r
    • C、q→p
    • D、r
    • E、～（q←r）

    正确答案:B,C,D,E

  • 第20题：

    多选题
    下列推理形式中，无效的有（）。
    A

    （（p∨～q）∧q）→～p

    B

    （（p∧q）∧r）→（p∧r）

    C

    （（～p→q）∧q）→～p

    D

    （（p→q）∧（r∧p））→q

    E

    （p→q）∧（r→s）∧（q∨s））→（p∨r）


    正确答案： C,B
    解析： 暂无解析

  • 第21题：

    问答题
    化简下面的公式。　　（1）P∨（﹁P∨（Q∧﹁Q））　　（2）（P∧Q∧R）∨（﹁P∧Q∧R）　　（3）（（P→Q）↔（﹁Q→﹁P））∧R　　（4）（（P→Q）↔（﹁Q→﹁P））∨R

    正确答案：
    (1)1
    (2)Q∧R
    (3)R
    (4)R
    解析如下:
    (1)P∨(﹁P∨(Q∧¬Q)⇔P∨(¬P∨0)⇔P∨¬P⇔1。
    (2)(P∧Q∧R)∨(﹁P∧Q∧R)⇔(Q∧R)∧(P∨¬P)⇔Q∧R。
    (3)因为((P→Q)↔(﹁Q→﹁P))是重言式,所以((P→Q)↔(﹁Q→﹁P))∧R⇔R。
    (4)因为((P→Q)↔(﹁Q→﹁P))是重言式,所以((P→Q)↔(﹁Q→﹁P))∨R⇔R。
    解析： 暂无解析

  • 第22题：

    单选题
    ～（p→（q∨r））等值于（）。
    A

    （p∨（～q∧r））

    B

    （p∧（～q∧～r））

    C

    （p∧（～q∨～r））

    D

    （p∨（～q∨～r）


    正确答案： A
    解析： 暂无解析

  • 第23题：

    多选题
    在下列选言推理形式中，无效的有（）。
    A

    （p∨q）∧p├﹁q

    B

    （pqr）∧﹁p├q∧r

    C

    （pqr）∧﹁p├qr

    D

    （p∨q∨r）∧﹁p├q∨r

    E

    （p∨q∨r∨s）∧（﹁p∧﹁q）├r∨s


    正确答案： E,C
    解析： 暂无解析

  • 第24题：

    多选题
    下列推理形式中，无效的是（）。
    A

    如果p，那么r；如果非p，那么r；P或者非P；所以r

    B

    只有非P，才q；非p；所以非q

    C

    要么p，要么q；q；所以p

    D

    如果p并且q，那么r；非p或者非q；所以；非r

    E

    p并且非q，所以p


    正确答案： D,C
    解析： 暂无解析

相关内容