┐(P∨Q) ←→(P∧Q)的主析取范式是（ ）

一个命题公式有唯一的主范式，且当命题变元的顺序约定以后，主析取范式和主合取范式是唯一确定的 命题公式（p∧q）∨（¬p∧r）∨（q∧r）的主析取范式是∑1,3,6,7,那么它的主合取范式就是∏0,2,4（） 下列哪个不是由pqr组成的命题公式的标准析取范式（） ﹁（P∨Q）?（P∧Q）求主析取范式: （Q∧P）∨（P∧﹁Q）|（Q∧﹁P）∨（P∧﹁Q）|（﹁P∧﹁Q）∨（P∧Q）|（﹁P∨Q）∧（Q∧﹁P） 通过求主析取范式判断下列恰题公式G、H是否等价:（1)G=（p^q)V（-p^q^r)（2)H=（pV（qAr))^（qV（np/r)) 中国大学MOOC: 第三范式是在第二范式的基础上消除了非主属性对码的________依赖。 下列范式中最低范式是（） 下列范式中最高范式是（） 若关系模式R中没有非主属性，关系模式R属于_________范式． 关系模式R中的属性全部是主属性，则R至少是（）范式的关系模式 中国大学MOOC: 析取命题的所有支命题为假，析取命题是假的。 第二范式不允许主属性对非所在码的部分函数依赖_ 研究自我控制的范式是延迟满足范式，包括（） 在命题逻辑中，任何非永真命题公式的主合取范式都是（） 第二范式（2NF）中规定非主属性对码都是完全函数依赖（） 下面属于析取概念的是 stroop范式是测试执行功能的经典范式之一。 过滤范式是研究注意常见的范式之一，又分为() stroop范式是测试执行功能的经典范式之一（） 中国大学MOOC: 关系模式R中的属性全部是主属性，则R的最高范式至少是________。