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

F=A+B为（）电路的逻辑表达式。

有关系模式R=ABCD，其函数依赖集为F=A-＞B，B-＞C，AB-＞D，AB-＞E，A-＞DE，则F的最小覆盖为______。

被函数依赖集F逻辑蕴涵的函数依赖的全体构成的集合称为（），用符号（）表示。

逻辑函数F=A⊕（A⊕B）=（）。

关系推理（一）“A与B不等值；B与C不等值；所以，A与C不等值。”与（二）“A蕴涵B；B蕴涵C；所以，A蕴涵C。”这两个推理（）

Armstrong公理系统中的增广律的含义是：设R是一个关系模式，X，Y是U中属性组，若X→Y为F所逻辑蕴含，且ZÍU，则（）为F所逻辑蕴含。

给定关系模式R(U,F)，U={A,B,C,D}，F={A→C,A→D,C→B,B→D)，F中的冗余函数依赖为 (43) ；若将R分解为ρ={AC,CB,BD}，则ρ满足 (44) 。（43）

● 给定关系模式R ( U,F) ，U = {A,B,C,D }， F={A→C,A→D,C→B,B→D}，F 中的冗余函数依赖为（1）；若将R分解为ρ={AC,CB,BD}，则ρ 满足 （2）。

关系R(A，B，C)满足下列函数依赖：F={B→C，B→A，A→BC}，关系R的候选关键字为(1)，该关键模式属于(2)。

异或门逻辑逻辑关系式：F=A+B（A和B为两个输入端，F为输出端）。

函数依赖的逻辑蕴涵