北方寒冷地区的钢筋混凝土过梁,共断面为L形的用意是()。
A. 增加建筑美观
B. 增加过梁强度
C. 减少热桥
D. 减少混凝土用量
1.A(x)是含x约束出现的公式,B中不含x的自由出现,以下等值式错误的是( )
A. $x(A(x)ÚB) Û $xA(x)ÚB
B. $x(A(x)ÙB) Û $xA(x)ÙB
C. $x(A(x)®B) Û $xA(x)®B
D. $x(B®A(x)) Û B®$xA(x)
补充完成下列求解前束范式的过程。"xF(x)®$y(G(x,y)ÙH(x,y))Û "xF(x)®$y(G(z,y)ÙH(z,y)) 规则Û (F(x)®$y(G(z,y)ÙH(z,y)) 辖域收缩扩张规则Û (F(x)®(G(z,y)ÙH(z,y))) 辖域收缩扩张规则
设D ={a1, a2,…, an},则"xA(x)ÛA(a1)∨A(a2)∨…∨A(an)。
A. 对
B. 错