选择题:xA(x)→xB(x) 的前束范式为 x(﹁A(x)∨B(x)) 题目分类:西安交通大学---离散数学 题目类型:选择题 查看权限:VIP 题目内容: xA(x)→xB(x) 的前束范式为 x(﹁A(x)∨B(x)) 参考答案:
设数组data[m]作为循环队列SQ的存储空间,front为队头指针,rear为队尾指针,则执行出队 设数组data[m]作为循环队列SQ的存储空间,front为队头指针,rear为队尾指针,则执行出队操作后其头指针front值为( ) A.front=fro 分类:西安交通大学---离散数学 题型:选择题 查看答案
设G、H是一阶逻辑公式,P是一个谓词,G=xP(x), H=xP(x),则一阶逻辑公式GH是( ) 设G、H是一阶逻辑公式,P是一个谓词,G=xP(x), H=xP(x),则一阶逻辑公式GH是( ).A、恒真的 B、恒假的 C、可满足的 分类:西安交通大学---离散数学 题型:选择题 查看答案
根据我国高速公路网规划,未来我国将建成布局为“7918”的高速公路网络。其中“7918”是指( )、 根据我国高速公路网规划,未来我国将建成布局为“7918”的高速公路网络。其中“7918”是指( )、()、() 分类:西安交通大学---离散数学 题型:选择题 查看答案