下列与或逻辑函数式F=ABC+A具有相同逻辑功能的为（）A、F=ABB、F=AC、F=A（）D、ABC+

（52）设 F 是属性组U 上的一组函数依赖，下列哪一条属于 Armstrong 公理系统中的基本推理规则

A）若 X→Y 及 X→Z 为F 所逻辑蕴含，则 X→YZ 为F 所逻辑蕴含

B）若 X→Y 及 Y→Z 为F 所逻辑蕴含，则 X→Z 为F 所逻辑蕴含

C）若 X→Y 及 WY→Z 为F 所逻辑蕴含，则 XW→Z 为F 所逻辑蕴含

D）若 X→Y 为F 所逻辑蕴含，且 Z Y，则 X→Z为 F 所逻辑蕴含

输入无反变量函数F的化简，讨论的是___。

A、函数F的标准与或式

B、用禁止逻辑法寻找F的共享禁止项

C、函数F中不能出现非运算

D、在F的卡诺图上所有的质蕴涵

A.AC→D

B.B→D

C.AD→B

D.AC→B

若A→B为F所逻辑蕴涵，且C(图片)U，则AC→BC为F所逻辑蕴涵，这是函数依赖的 ( )推理规则。

A．分配律

B．自反律

C．传递律

D．增广律

A.F=f(A,B,C)

B.f=F(A,B,C)

C.f=f(A,B,C)

设F是属性组U上的一组函数依赖，下列叙述正确的是

A．若YX，则X→Y为F所逻辑蕴含

B．若XU，则X→Y为F所逻辑蕴含

C．若X→Y为F所逻辑蕴含，且ZU，则X→YZ为F所逻辑蕴含

D．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含

A. 异或门

B. 同或门

C. 与门

D. 与非门

设关系模式R(U, F)，其中U为属性集，F是U上的一组函数依赖，下列叙述中正确的是( )。

A．若X→Y为F所逻辑蕴涵，且ZU，则XZ→YZ为F所逻辑蕴涵

B．若X→Y，Y→Z为F所逻辑蕴涵，则X→Z为F所逻辑蕴涵

C．若YXU，则Y→X为F所逻辑蕴涵

D．若XYU，则X→Y为F所逻辑蕴涵

逻辑函数F=AB和G=A⊙B满足关系(23)。

A．F=

B．

C．F=G0

D．