请输入或粘贴题目内容
搜题
拍照、语音搜题，请扫码下载APP
题目内容
（请给出正确答案）
设C1=P(x)∨～Q(x)，C2=Q(g(x))，求二元归结式。
答案
解 由于C1和C2具有相同的变元故先将C1的变元更名为y便可对
C1=P(y)∨～Q(y) C2=Q(g(x))
进行归结。二者的mgu为σ={g(x)／y)归结式如下：
C12=P(g(c))
在以后的实际推理过程中不必写出更换变量名这一步只需把C1和C2中的变元视作不同就可以了。
解由于C1和C2具有相同的变元,故先将C1的变元更名为y,便可对C1=P(y)∨～Q(y),C2=Q(g(x))进行归结。二者的mgu为σ={g(x)／y),归结式如下：C12=P(g(c))在以后的实际推理过程中,不必写出更换变量名这一步,只需把C1和C2中的变元视作不同就可以了。
更多“设C1=P（x)∨～Q（x)，C2=Q（g（x))，求二元归结式。”相关的问题
第1题
已知两条光滑的平面曲线C1:f(x,y)=0及C2：ψ(x,y)=0，又点P(α，β)∈C1，点Q(ξ，η)∈C2，且P，Q都不是曲线的端点，试证：如果这两点是两曲线上相距最近或最远的点，则下列关系式必成立：
第2题
最简单的C程序设计
1．实验目的
①掌握C语言中使用最多的一种语句——赋值语句的使用方法。
②掌握各种类型数据的输入输出的方法，能正确使用各种格式转换符。
2．实验内容和步骤
掌握各种格式转换符的正确使用方法。
①输入程序
main()
{int a,b;
float d,e;
char c1,c2;
double f,g;
longm,n;
unsigned int p,q;
a=16;b=62;
c1='a';c2='b';
d=3.56;e=-6.87;
f=3157.890121;g=0.123456789;
m=50000:n=-60000;
p=32768;q=40000;
printf("a=%d,b=%d\nc1=%c,c2=%c\nd=%6.2f,e=%6.2f\n",a,b,c1,c2,d,e);
printf("f=%15.6f,g=%15.12f\nm=%1d,n=%ld\np=%u,q=%u\n",f,g,m,n,p,q);
}
②运行此程序并分析结果。
③在此基础上，修改程序的第8～13行。
a=b1;b=b2;
c1=a;c2=b;
f=3157.890121;g=0.123456789;
d=f; e=g;
p=a=m=50000;q=b=n=-60000;
运行程序，分析结果。
④改用scanf函数输入数据而不用赋值语句，scanf函数如下。
scanf("%d,%d,%c,%c,%f,%f,%lf,%lf,%ld,%ld,%u,%u"
＆a,＆b,＆c1,＆c2,＆d,＆e,＆f'＆g,＆m,＆n,＆p,＆q);
输入的数据如下。
61，62，a，b，3.56，-6.87，3157.890121，0.123456789，50000，-60000，37678，40000
(说明：ld格式符用于输入long型数据)分析运行结果。
⑤在上面的基础上将printf语句改为
printf("a=%d,b=%dknc1=%c,c2=%c\nd=%15.6f,e=%15.12f\n",a,b,c1,c2,d,e);
printf("f=%f,g=%f\nm=%d,n=%d,p=%d,q=%d\n",f,g,m,n,p,q);
运行程序。
⑥将p、q改用%o格式符输出。
⑦将scanf函数中的%lf和%ld改为%f和%d，运行程序并观察分析结果。
3编写程序
①有下面的程序
main()
{
int a;
float b,c;
scanf("%2d%3f%4t",＆a,＆b,＆c);
printf("\na=%d,b=%f,c=%f\n",a,b,c);
}
若从键盘上输入9876543210并回车，则程序的输出结果是______。
②下面程序的输出结果是______。
main()
{int x=5,y=3;
printf("%d\n",y=x/y);
}
③以下程序的输出结果是______。
main()
{
int a=2,b=5;
printf("a=%%d,b=%%d\n",a,b);
}
④以下程序的输出结果是______。
#include"stdio.h"
main()
{
double x=123.123789;
printf("%8.6f,%8.3f,%14.8f\n",x,x,x);
}
⑤以下printf语句中的"-"的作用是______,该程序的输出结果是______。
#include＜stdio.h＞
main()
{ int x=12;
double a=3.1415926;
printf("%6d##\n",x);
printf("%-6d##\n",x);
printf("%14.10f##\n",a);
printf("%-14.10f##\n",a);
}
⑥以下程序的输出结果是______。
#include＜stdio.h＞
main()
{int a=325;
double x=3.1415926;
printf("a=%+0.6d x=%+e\n",a,x);
}
⑦编写程序，让用户输入两个整数，输出它们的商和余数。
⑧编程：设圆半径r=1.5，求圆周长、圆面积。用scanf输入数据，输出计算结果，输出开寸要求有文字说明，取小数点后2位数字。
⑨输入一个华氏温度，要求输出摄氏温度。公式为c=5/9(F-32)。输出要有文字说明，取2位小数。
第3题
设φ1(x)，φ2(x)，φ3(x)是微分方程yˊˊ+P(x)yˊ+Q(x)y=f(x)的三个线性无关的特解，则该方程的通解为()
A．C1φ1 (x)+ C2φ2 (x)+ C3φ3 (x)
B．C1 [φ1 (x) －φ2 (x)]+ C2 [φ1 (x) －φ3 (x)]+ C3 [φ2 (x) －φ2 (x)]+ φ1 (x)
C．C1 [φ1 (x) －φ2 (x)]+ C2φ2(x)+ φ3 (x)
D．C1[φ1 (x) －φ2 (x)]+ C2[φ2 (x) －φ3 (x)]+
[φ1 (x) +φ2 (x) + φ3 (x) ]
第4题
设A、B、C及D都是Hermite正定矩阵，它们的特征值依次为
a1≥a2≥…≥an，b1≥b2≥…≥bn
c1≥c2≥…≥cn，d1≥d2≥…≥dn，
则αP的一个近似值为
第5题
设
对那m＞0,q＞0存在不依赖于ε的ρ＞0，使得对于x2+y2≤ρ2，
第8题
设X=lp，Y=lq，其中
1＜P≤∞，1≤q＜∞，1/p+1/q=1，
算子F：X→Y定义为
求证：若
则F∈CL(X，Y)。
第10题
设Q是具有C1类边界
△u-u=l 在Q内，
第11题
