【判断题】公式(┐P∨Q)∧(P→R) 与 (P→(Q∧R))是否等值
【简答题】用等值演算法判断下列公式的类型, 公式 ┐(p∧q→q)是( )式; (p→(p∨q))∨(p→r)是( )式; (p∨q)→(p∧r)是( )式。
【单选题】以下关于DOM的说法错误的是?
C.
DOM是面向HTML和XML文档的API,为文档提供了结构化表示,并定义了如何通过脚本来访问文档结构
D.
通过DOM,JavaScript 获得了足够的能力来创建动态的 HTML
【判断题】公式 (┐P ∨ Q) ∧ (P→R) 与 (P→(Q ∧ R))等价
【简答题】求下列公式的主析取范式,并求成真赋值: (1)(┐p→q)→(┐q∨p) (2)┐(p→q)∧q∧r (3)(p∨(q∧r))→(p∨q∨r)
【单选题】下面命题公式中主析取范式中含3个极小项的是