[单选题]

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

A．分配律

B．自反律

C．传递律

D．增广律

参考答案与解析：

相关试题

Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZíU,

[试题]A．rmstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZíU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作（ ）

  • 查看答案

    • 函数依赖的逻辑蕴涵

    [名词解释] 函数依赖的逻辑蕴涵

  • 查看答案

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

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

  • 查看答案

    • 计算题：已知四变量逻辑函数为：f（A、B、C、D）＝（＋BC）（B＋CD）。试求

    [问答题] 计算题：已知四变量逻辑函数为：f（A、B、C、D）＝（＋BC）（B＋CD）。试求该函数的与非表达式并画出相应的逻辑图。

  • 查看答案

    • Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且,则XZ

    [试题]A．rmstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴含，且 ，则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。

  • 查看答案

    • 函数F（A，B，C）=AB+BC+AC的最小项表达式为（）

    [单选题]函数F（A，B，C）=AB+BC+AC的最小项表达式为（）A . F（A，B，C.=∑m（0，2，4）B . （A，B，C.=∑m（3，5，6，7）C . F（A，B，C.=∑m（0，2，3，4）D . F（A，B，C.=∑m（2，4，6，7）

  • 查看答案

    • 设逻辑函数则与f等价的逻辑函数是( )。

    [单选题]设逻辑函数则与f等价的逻辑函数是( )。A．a+cB．a+bC．D．

  • 查看答案

    • 关系模式R属性集为{A,B,C},函数依赖集F={AB→C,AC→B,B→C},

    [单选题]关系模式R属性集为{A，B，C}，函数依赖集F={AB→C，AC→B，B→C}，则R属于(42)。A．1NFB．2NFC．3NFD．BCNF

  • 查看答案

    • 基本的运算符有非( )、与( )、或( )、异或( )、蕴涵( )。若P、Q的逻辑值分别为T、F，则进行逻辑运算P⊕Q后的结果是F。()

    基本的运算符有非( )、与( )、或( )、异或( )、蕴涵( )。若P、Q的逻辑值分别为T、F，则进行逻辑运算P⊕Q后的结果是F。()A. 错B. 对

  • 查看答案

    • 给定关系模式R（U，F），U={A，B，C，D，E，H}，函数依赖集F={A→B

    [单选题]给定关系模式R（U，F），U={A，B，C，D，E，H}，函数依赖集F={A→B，A→C，C→D，AE→H}。关系模式R的候选关键字为（）。A . ACB . ABC . AED . DE

  • 查看答案