如逻辑变量A、B、C及其推理关系f,用逻辑代数表示出来为:逻辑函数F关于逻辑变量A、B、C的推理关系f的表达式记为()。A.F=f(A,B,C)B.f=F(A,B,C)C.f=f(A,B,C)

题目
如逻辑变量A、B、C及其推理关系f,用逻辑代数表示出来为:逻辑函数F关于逻辑变量A、B、C的推理关系f的表达式记为()。

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

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

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

相似考题

1.（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 所逻辑蕴含

2.Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴含，且 ，则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。

3.Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】

4.Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZíU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作（ ）

更多“如逻辑变量A、B、C及其推理关系f,用逻辑代数表示出来为:逻辑函数F关于逻辑变量A、B、C的推理关系f的表达式记为()。 ”相关问题

  • 第1题：

    设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所逻辑蕴含，且ZY，则X→Z为F所逻辑蕴含


    正确答案：B
    解析：本题考查Armstrong公理系统的概念。Armstrong公理系统对关系模式RU， F＞来说有以下的推理规则： 自反律(Reflexivity)：若Y≤X≤U，则X→Y为F所蕴含；增广律(Au2mentation)：若X→Y为F所蕴含，且Z≤U，则 XZ→YZ为F所蕴含；传递律(Transitivity)：若X→Y及Y→Z为F所蕴含，则X→2为F所蕴含。这里注意：由自反律所得到的函数依赖均是平凡的函数依赖；自反律的使用并不依赖于F。由此可见，选项B符合Armstrong公理系统的传递律。正确答案为选项B。

  • 第2题：

    逻辑代数中也用字母表示变量，称为逻辑变量，只能取真或假两个值，分别用1、0表示。独立的逻辑变量本身没有什么意义，但当多个逻辑变量用来表示不同的逻辑状态时，他们之间可以按照事先制定的某种因果关系进行推理运算，叫做逻辑运算。


    正确

  • 第3题：

    【单选题】设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所逻辑蕴含


    √

  • 第4题：

    设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所逻辑蕴含


    正确答案：B
    Armstrong公理系统中的基本推理规则如下：

  • 第5题：

    下列说法正确的是（）。

    A.用卡诺图可判断出逻辑函数F(ABCD)=B'D'+A'D'+C'D'+ACD',与逻辑函数G(ABCD)=B'D+CD+A'C'D+ABD互为反函数。#B.逻辑函数F=A'(B+C'D)+AC的反函数为: A+B'C+AD'+C#C.用卡诺图可判断出逻辑函数F(ABCD)=(AB'+A'B)C'+(AB'+A'B)'C,与逻辑函数G(ABCD)=(AB+BC+AC)'(A+B+C)互为对偶函数。#D.卡诺图法适合于多变量函数的化简，变量个数越多越方便。
    用卡诺图可判断出逻辑函数F(ABCD)=B'D'+A'D'+C'D'+ACD',与逻辑函数G(ABCD)=B'D+CD+A'C'D+ABD互为反函数。

相关内容