2个命题变元可组成 ( ).

答案查看网，轻松搜题/搜资源

【单选题】【消耗次数：1】

2个命题变元可组成 ( ).

① 4种不同的解释

② 16个不同的命题公式

③ 14个可满足公式

④ 15个非永假的主合取范式

参考答案：

复制

纠错

相关题目

【判断题】任何一个命题公式总可以找到其唯一的主合取范式形式。

① 正确

② 错误

查看完整题目与答案

【单选题】 3个命题变元可得到( )个真值结果不同的命题公式

① 28

② 28-1

③ 23

④ 23-1

查看完整题目与答案

【简答题】一个命题公式的真值表是唯一的，因此一个命题公式的主析取范式也是[填空1]的。两个命题公式如果有相同的主析取范式，那么这两个命题公式是[填空2]的。

查看完整题目与答案

【判断题】在三个变元的命题公式中，如果其主析取范式中所含小项的角标为1,2，4,5,6，则其主合取范式中所含大项的角标必定为0,3,7。

① 正确

② 错误

查看完整题目与答案

【简答题】公式“? (q??p) ù?p”的主合取范式为:[填空1]

查看完整题目与答案

【简答题】公式“(pùq) ú (?púr)”的主合取范式为:[填空1]

查看完整题目与答案

【判断题】任何一个命题公式总可以找到其唯一的主析取范式形式。

① 正确

② 错误

查看完整题目与答案

【多选题】公式“(pùq) ú (?púr)”的主合取范式中极大项下标没有:

① 0.

② 2.

③ 4.

④ 6.

查看完整题目与答案

【判断题】命题公式中只要没有变元就是命题。

① 正确

② 错误

查看完整题目与答案

【单选题】设有代数系统G=〈A，*〉，其中A是所有命题公式的集合，*为命题公式的合取运算，则G的幺元是（　　　）

① 矛盾式

② 重言式

③ 可满足

④ 公式p∧q

查看完整题目与答案

随机题目

【单选题】设”int a=15,b=26;”，则”cout(a,b);”的输出结果是()

① 15

② 26,15

③ 15,26

④ 26

查看完整题目与答案

【单选题】在下面循环语句中循环体执行的次数为（） int i=0; do i++; while(i*i

① 4

② 3

③ 5

④ 2

查看完整题目与答案

【单选题】若定义了函数 double *function(), 则函数function的返回值为（）。

① 实数型

② 实数的地址C.指向函数的指针

③ 函数的地址

查看完整题目与答案

【单选题】下列的符号常量定义中，错误的定义是（）

① const M=10;

② const int M=20;

③ const char ch;

④ const bool mark=true;

查看完整题目与答案

【单选题】由C++源程序文件编译而成的目标文件的默认扩展名为()

① exe

② obj

③ lik

查看完整题目与答案

【单选题】以下函数的返回结果是（） int function(char *x) { char *p=x; while(*p++); return(p-x-1); }

① 求字符串的长度

② 将字符串x连接到字符串p后面

③ 将字符串x复制到字符串p中

④ 将字符串x反向存放

查看完整题目与答案

【单选题】在下面的字符数组定义中，哪一个有语法错误（）

① char a[20]=”abcdefg”;

② char a[]=”x+y=55.”;

③ char a[15];

④ char a[10]=’5’;

查看完整题目与答案

【单选题】以下说法中正确的是（）

① C++程序总是从第一个定义的函数开始执行

② C++程序总是从main函数开始

③ C++函数必须有返回值，否则不能使用函数

④ C++程序中有调用关系的所有函数必须放在同一个程序文件中

查看完整题目与答案

【单选题】程序中主函数的名字为（）

① main

② MAIN

③ Main

④ 任意标识符

查看完整题目与答案

【判断题】堆栈是后进先出结构

① 正确

② 错误

查看完整题目与答案