求公式￢p∧(q↔r)的析取范式和合取范式

用等值演算法求公式(￢p→q)∨(￢p∧￢q)的主析取范式和主合取范式

用等值演算法求公式((p∨q)→r)→p的主析取范式和主合取范式

关系R（X，Y，Z），函数依赖集PD={Y→Z，XZ→Y}，则关系R是（）。

A. 1NF
B. 2NF
C. 3NF
D. BCNF

设计性能较优的关系模式称为规范化，规范化主要的理论依据是（）。

A. 关系运算理论关
B. 关系规范化理论
C. 关系代数理论
D. 数理逻辑

当关系模式R（X，Y）已属于3NF，它一定消除了插入和删除异常（）。

A. 对
B. 错

消除了部分函数依赖的1NF的关系模式，一定是2NF。（）

A. 对
B. 错

关系模式R(W,X,Y,Z),其函数依赖的集合是F=｛WX→Y, W→X, X→Z, Y→W｝，则该关系模式属于第几范式？

A. 第一范式
B. 第二范式
C. 第三范式
D. BC范式

关系模式R属性集为:{A,B,C},函数依赖F={AB→C,AC→B,B→C},则R属于第几范式？

A. 第一范式
B. 第二范式
C. 第三范式
D. BC范式

不存在非主属性部分函数依赖于码，但存在非主属性传递函数依赖于码的关系模式属于第几范式?

A. 1NF
B. 2NF
C. 3NF
D. 4NF