网友您好， 请在下方输入框内输入要搜索的题目：
题目内容
（请给出正确答案）
运用谓词公式的等价关系式（）可以实现蕴含符号的消去。
A．P→Q , ¬Q⇒¬P
B．P, P→Q⇒Q
C．P→Q ⇔¬P∨Q
D．P ↔ Q⇔(P∧Q)∨(¬P∧¬Q)
参考答案和解析
P →Q ⇔¬P∨Q
更多 “运用谓词公式的等价关系式（）可以实现蕴含符号的消去。A．P→Q , ¬Q⇒¬PB．P, P→Q⇒QC．P→Q ⇔¬P∨QD．P ↔ Q⇔(P∧Q)∨(¬P∧¬Q)” 相关考题
考题
求取子句集的步骤包括以下步骤:消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词。()
此题为判断题(对，错)。
考题
在Word中可以输入复杂数学公式，它通过（）实现A、EXCEL公式B、执行“格式”菜单中的“符号”命令C、执行“插入”菜单中的“符号”命令D、在“插入”菜单的“对象”命令中选择公式编辑
考题
单选题在word中可以建立几乎所有的复杂公式，通过下列哪种方法实现？（）A
执行插入菜单中的符号命令B
Excel公式C
执行插入菜单的对象命令中选择公式编辑器D
执行格式菜单中的符号命令
考题
多选题求取子句集的步骤包括以下步骤,（）、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。A消去“蕴含”连结词B减少“非”连结词的辖域C对变量标准化D消去存在量词
热门标签
最新试卷