当前位置: 首页 > news >正文

逻辑代数的基本规则

目录

逻辑代数的基本规则

带入规则

 反演规则

对偶规则


逻辑代数的基本规则

带入规则

        将逻辑等式两边的某一变量均用同一个逻辑函数代替,等式仍然成立。

可以用A非代替A,也可以用C代替B。

 

也可使用B+C这样一个整体代替B。

 反演规则

可以把与换或,或换与,0换1,1换0得到原逻辑函数的反函数。 

变换时注意:

1.不能改变原来的运算顺序。

2.原变量变成反变量只对单个变量有效,对长非号保持不变。

        运算优先级是非>与>或,变换后运算时BC会与右边的运算与变换前不同,所以有错误,要加上一个小括号。 

 

对偶规则

 

 

变量上的非号均不改变。 

 

 

相关文章:

  • (Java入门)学生管理系统
  • 记忆化搜索【下】
  • 【论文阅读】CiteTracker: Correlating Image and Text for Visual Tracking
  • 输送线相机拍照信号触发(博途PLC高速计数器中断立即输出应用)
  • 解决npm i 安装报npm ERR! code E401
  • 2024年AMC10美国数学竞赛倒计时两个月:吃透1250道真题和知识点(持续)
  • mybatis框架基础以及自定义插件开发
  • 极米科技:走出舒适圈,推动数据架构现代化升级 | OceanBase 《DB大咖说》
  • JavaScript 根据关键字匹配数组项
  • 算法练习题17——leetcode54螺旋矩阵
  • Go语言设计与实现 学习笔记 第六章 并发编程(3)
  • python基础语法十一-赋值、浅拷贝、深拷贝
  • 零知识证明在BSV网络上的应用
  • YOLOv8/v10+DeepSORT多目标车辆跟踪(车辆检测/跟踪/车辆计数/测速/禁停区域/绘制进出线/绘制禁停区域/车道车辆统计)
  • Flask中实现WebSocket需要什么组件
  • @jsonView过滤属性
  • 【从零开始安装kubernetes-1.7.3】2.flannel、docker以及Harbor的配置以及作用
  • 10个确保微服务与容器安全的最佳实践
  • co.js - 让异步代码同步化
  •  D - 粉碎叛乱F - 其他起义
  • eclipse(luna)创建web工程
  • ECMAScript 6 学习之路 ( 四 ) String 字符串扩展
  • iOS | NSProxy
  • JavaScript 奇技淫巧
  • Linux编程学习笔记 | Linux多线程学习[2] - 线程的同步
  • PAT A1092
  • rc-form之最单纯情况
  • Redis提升并发能力 | 从0开始构建SpringCloud微服务(2)
  • Three.js 再探 - 写一个跳一跳极简版游戏
  • Vue 重置组件到初始状态
  • vue+element后台管理系统,从后端获取路由表,并正常渲染
  • Vue--数据传输
  • 大快搜索数据爬虫技术实例安装教学篇
  • 欢迎参加第二届中国游戏开发者大会
  • 解析 Webpack中import、require、按需加载的执行过程
  • 融云开发漫谈:你是否了解Go语言并发编程的第一要义?
  • 小程序开发中的那些坑
  • 一份游戏开发学习路线
  • AI又要和人类“对打”,Deepmind宣布《星战Ⅱ》即将开始 ...
  • 你学不懂C语言,是因为不懂编写C程序的7个步骤 ...
  • # 手柄编程_北通阿修罗3动手评:一款兼具功能、操控性的电竞手柄
  • #### go map 底层结构 ####
  • #pragma multi_compile #pragma shader_feature
  • #常见电池型号介绍 常见电池尺寸是多少【详解】
  • #考研#计算机文化知识1(局域网及网络互联)
  • #我与Java虚拟机的故事#连载06:收获颇多的经典之作
  • (1)无线电失控保护(二)
  • (day6) 319. 灯泡开关
  • (附源码)ssm高校升本考试管理系统 毕业设计 201631
  • (文章复现)基于主从博弈的售电商多元零售套餐设计与多级市场购电策略
  • (五)c52学习之旅-静态数码管
  • (一)插入排序
  • .gitattributes 文件
  • .locked1、locked勒索病毒解密方法|勒索病毒解决|勒索病毒恢复|数据库修复
  • .NET 4 并行(多核)“.NET研究”编程系列之二 从Task开始