利用主范式判断命题公式的类型。

在一个单元格输入公式后，若相邻的单元格中需要进行同类型计算，可利用公式的自动填充。

第三范式是指关系不仅满足第二范式，而且它的任何一个非主属性都不传递依赖于任何主关键字。

金蝶K/3 10.3工资系统公式设置中，作为“如果…则”的条件判断项目可以是什么类型的（）

关系模式中R的属性全部是主属性，则R的最高范式必定是（）。

对于主键只由一个属性组成的关系，如果它是第一范式关系，则它是否一定也是第二范式关系？

通常把命题、命题变元、谓词填式和命题函数叫做谓词演算的原子公式。

2. 双任务范式的主任务和次任务分别是（ ）。

关系模式R中的属性全部是主属性，则R的最高范式必定是（）。

求公式（P→（Q∧R))∧（¬P→（¬Q∧¬R))的析取范式

n不是偶数或m不是奇数。n是偶数。所以，m不是奇数。用主析取范式法判断推理是否正确。

设公式A含命题变项p，q，r，又已知A的主合取范式为M₀∧M₂∧M₃∧M₅，则A的主析取范式为（)。

表1-27为含有两个变元的命题公式的各种情况真值表,对每一列，试写出一个至多包含此两个变元的命题公式。

1、在第二范式中所有的非主属性都完全依赖于关键字。

用主析取范式判断ㄱ（pq)与（p∨q)∧（ㄱ（p∧q))是否等值。

用主析取范式判断下列公式是否等值:

指出以下各式哪些不是命题公式，如果是命题公式,请说明理由:

消除了非主属性对主码的部分函数依赖的关系模式，满足（）范式。

命题公式﹁（P∧Q）→R的主析取范式中含极大项的个数为（）

已知命题公式A中含3个命题变项p，q，r，并知道它的成真赋值分别为001，010，111，求A的主合取范式

试将下列公式化为主析取范式和主合取范式。p→（p∧（q→p))

用主析取范式或主合取范式法证明：。

求下列公式的主合取范式，再用主合取范式求主析取范式。

利用谓词公式翻译下列命题。 a)如果有限个数的乘积为零,那么至少有一个因子等于零。 b)对于每一个实数r.存在一个更大的实数y. c)存在实数x,y和z,使得x与y之和大于x与z之积。

对于主码只由一个属性组成的关系模式，如果它是第一范式关系模式，则它是否一定也是第二范式关系模式。