如果结果不匹配，请 
更多“逻辑函数的表示方法有()。”相关的问题
第2题
（)的方法通过将程序转换并表示为逻辑公式，然后使用公理和规则证明的方法，验证程序是否为一个合法的定理，从而发现其中无法证明的部分，从中发现安全缺陷。
A.定理证明
B.模型检验
C.符号执行
D.词法分析
第6题
如果检索结果过少，查全率很低，需要调整检索范围，此时调整检索策略的方法有( )等。
A.用逻辑“与”或者逻辑“非”增加限制概念
B.用逻辑“或”或截词增加同族概念
C.用字段算符或年份增加辅助限制
D.用“在结果中检索”增加限制条件
第8题
下面有哪些函数表示物体的基本变换是()
A.D3DXMatrixTranslation
B.D3DXMatrixScaling
C.D3DXMatrixRotationAxis
D.D3DXMatrixMultiply
