布尔代数法则

• 布尔代数(开关代数、逻辑代数)

• 它是一个封闭的代数系统,它可记为:

L={K,+,·, ̄,0 ,1}

其中K表示逻辑变量集;+表示"或"运算, ·表示"

与"运算, ̄表示"非"运算;

0和1表示常量,又表示自变量的定义域,又是函数

的值域。

• 公理:

A1 :X=0 ≠if X1 A1':X=1 ≠if X0

A2:if X=0,then X’=1 ’:A2if x=1,then X’=0

A3:0·0=0 A3’:1+1+1

A4:1·1=1 A4’:0+0=0

A5:0·1=1·0=0 A5’:0+1=1+0=1

•公理1:布尔代数是二值代数,0和1表示

常量,又表示自变量的定义域,又是函

数的值域。

•公理2 :非运算的定义。

•公理3,4 ,5:与运算和或运算的定义。

•单变量定理:

–恒等律T1 : X+0=X T1’:X ·1=X

– 空元素律T2 :X+1=1 T2’:X ·0=0

– 幂等律T3 : X+X=X T3’:X ·X=X

–对合律T4 : (X’)’=X

– 互补律T5 : X+X ’=1 T5’:X ·X ’=0

•2和3变量的定理

– 交换律T6 :X+Y=Y+X T6’:X ·Y=Y ·X

– 结合律T7: (X+Y)+Z=X+(Y+Z)

T7’: (X·Y) ·Z=X ·(Y ·Z)

– 分配律T8 :X ·Y+X ·Z=X ·(Y+Z)

T8’: (X+Y) ·(X+Z)=X+Y·Z

– 吸收律T9 :X+X ·Y=X T9’:X ·(X+Y)=X

– 并项律T10 :X ·Y+X ·Y ’=X

T10’: (X+Y) ·(X+Y’)=X

–包含律T11 :XY+X ’Z+YZ=XY+X ’Z

T11’: (X+Y)(X’+Z)(Y+Z)=(X+Y)(X ’+Z)

n

•n变量布尔代数定理

–广义幂等律T12 :X+X+ … +X=X

T12’:X ·X ·… ·X=X

– 德·摩根定律T13 :

(X ·X ·… ·Xn)’=X ’+X ’+ … +Xn ’

1 2 1 2

T13’:

(X +X + … +Xn)’=X ’·X ’·… ·Xn ’

1 2 1 2

–广义德·摩根定理T14 :(反演规则)

– 反演规则:对于任何一个逻辑函数F,若F表达

式中所有的“·”和“+”互换,“0”和“1”互换,原

变量和反变量互换,并保持原函数的运算顺序

不变则可得到函数F 的反函数F'。

例如: F=A'?B +C?D' 根据反演规则可得到

F'=(A+B')?(C'+D)

又如 F=A'+B'?(C+D'?E)根据反演规则得

到的反函数该是 F=A?[B+C'?(D+E')]

而不应该是 F=A?B+C'?D+E'

+ ?

matlab布尔代数运算法则,布尔代数法则.pdf相关推荐

  1. matlab布尔代数运算法则,布尔代数运算法则及基本公式

    逻辑代数或称布尔代数.它虽然和普通代数一样也用字母表示变量,但变量的值只有"1"和"0"两种,所谓逻辑"1"和逻辑"0" ...

  2. matlab线圈磁场,利用Matlab计算螺线管内磁场分布研究.pdf

    利用Matlab计算螺线管内磁场分布研究.pdf ( ) 2010 12 688 Journal of Beijing Normal University ( Natural Science) 46( ...

  3. matlab获取图片上的字,基于MATLAB图片中文字提取及识别.pdf

    基于MATLAB图片中文字提取及识别.pdf 数字图象处理 DigitalImageProgressing 基于MATLAB的图片中文字的提取及识别 邹浩,余龙,邹勇博,刘宇童,和振乔,李少梅 (西安 ...

  4. matlab电解电容在哪,基于MATLAB的电容器直流局部放电检测.pdf

    基于MATLAB的电容器直流局部放电检测.pdf 第29卷第4磐l@gJ 仪 器 仪 表 学 报 V01.29No.4 兰塑墨笙兰旦 .一. g塾i璺墅曼!殳坚堕璺!旦!兰尘曼旦!堕鱼!翌塾盥堡皇堕垒 ...

  5. 三大管理法则—鱼缸法则、木桶效应、热炉法则

    一.鱼缸法则 鱼缸法则运用到管理中,就是增加工作的透明度. 各项工作有了透明度,领导者的行为就会置于全体下属的监督之下,就会有效地防止领导者滥用权力,从而强化领导者的自我约束机制. 项目管理中,管理者 ...

  6. MATLAB 仿真 n年后的比例,基于Matlab的比例导引弹道仿真分析.PDF

    基于Matlab的比例导引弹道仿真分析.PDF ·60· 战术导弹技术Ta(·ti(·alMissile TechnologyMay,2009,(3):60-64 [文章编号]1009.1300(20 ...

  7. 基于matlab的脉搏信号参数提取,基于Matlab的脉搏信号参数提取.pdf

    基于Matlab的脉搏信号参数提取.pdf 第25卷第1期 2010年2月 山东建筑大学学报Vo1 25 No 1 JOURNAL OF SHANDONG JIANZHU UNIVERSITY Feb ...

  8. Matlab导出适合图片大小的pdf格式图片

    在利用Latex写文章的时候需要使用pdf格式图片,利用Matlab print命令直接导出的pdf是页面大小的size,没法直接使用,需要使用如下命令进行导出: 这个是经过验证有效的方法. 在R20 ...

  9. 杨氏双缝干涉 matlab仿真,基于MATLAB的杨氏双缝干涉实验仿真.pdf

    基于MATLAB的杨氏双缝干涉实验仿真.pdf ( ) 第 27卷 湖北师范学院学报 自然科学版 Vol27 第 1期 Jou rnal of Hubei Norm al U n iversity ( ...

最新文章

  1. [微信小程序]上传单张和多张图片
  2. 开发工评价程师自我_常见“自我评价”写作范例
  3. 最佳实践|Spring Boot 应用如何快速接入 Prometheus 监控
  4. abb变频器dp适配器说明书_国产变频器与西门子和ABB的差距大吗?
  5. 编译编译时,用不到的库,一定不要链接
  6. linux结合阿里云企业邮箱配置mailx
  7. 基础 八大疑问词+翻译
  8. VBA和VBScript的AES加密算法
  9. 让POW的共识机制不再成为公链系统吞吐率的瓶颈 | Conflux CTO伍鸣
  10. Mifare Ultra Light 非接触式IC卡
  11. linux设备树笔记__dts基本概念及语法
  12. SELinux/SEAndroid -- 基础知识介绍
  13. saltstack grain pillar
  14. 【C语言常识】Keil MDK的分散加载文件.sct
  15. MUI前端框架,MUI返回上一页并刷新
  16. net core站点部署到ubuntu,错误信息System.TypeInitializationException: The type initializer for 'Gdip' threw an
  17. Microsoft Dynamics ERP和CRM软件
  18. jsp中如何使1和0再页面中显示为男和女
  19. IBM 3592-E05磁带机 TS1120 要点
  20. LibFuzzer学习(二):提高代码覆盖率和速度

热门文章

  1. php APP微信支付流程,PHP实现APP微信支付的实例讲解
  2. AutoCAD.net 插件中获取AutoCAD 启动命令行的参数
  3. 外部程序通过COM启动AutoCAD时RPC_E_CALL_REJECTED的问题解决办法
  4. 《蔡康永的说话之道》阅读笔记
  5. linux-2.6.32在mini2440开发板上移植 ---W35型LCD驱动移植
  6. PostgreSQL 电子围栏的应用场景和性能(大疆、共享设备、菜鸟。。。)
  7. MathType如何禁止在公式后面自动添加空格
  8. 计算机it教程软件,电子白板简易教程_计算机软件及应用_IT计算机_专业资料
  9. Pixy图像处理与识别
  10. ARM汇编学习拾贝 (持续更新)