布尔定理及证明（完整版）
这篇文章的目的是以布尔代数公理证明定理。
对偶原理：0with1,+ with · 互换以后，公理（定理）任然成立。
布尔代数的公理如下
单变量的布尔代数定理如下
单变量的布尔代数定理很容易用真值表证明。
多变量的布尔定理如下
交换律，结合律，分配律同样容易用真值表证明。其中T8’最好用对偶法则记忆。
吸收律的证明需要用到分配律：
B·(B+C)=(B+B)·(B+C)=B+B·C=B·1+B·C=B·(1+C)=B·1=B 证毕
合并律也很容易用分配律证得，不再赘述。
一致律的一种证明方式是展开：
B·C+B’·D+C·D
=B·C·(D+D’)+B’·(C+C’)·D+(B+B’)·C·D
=BCD+BCD’+B’CD+B’C’D+BCD+B’CD
(容易发现第5项和第1项重复，第6项和第3项重复，根据重叠定理可以消去)
= BCD+BCD’+B’CD+B’C’D
= B·C+B’·D
一种证明方式是添项：
(B+C)(B’+D)(C+D)
=(B+C) (C+D) (B’+D)(C+D)
=(C+BD)(D+B’C)
=CD+BD+B’C
=CD+BD+B’C+B’B
=(B+C)D+(B+C)B’
=(B+C)(B’+D)
相关文章：
创建DLL动态链接库——声明导出法
DLL声明导出法：是通过使用__declspec(dllexport)，添加到需要导出的函数前，进行声明。 头文件定义如下(OPdll.h)： 源文件定义如下(OPdll.cpp)： 通过以上两个文件，编译过后即可生成OPdll.lib和OPdll.dll两个库…
【组队学习】【33期】Scratch（一级）
Scratch一级 航路开辟者：王思齐、马燕鹏领航员：马燕鹏航海士：马燕鹏 基本信息 开源内容：https://github.com/datawhalechina/team-learning-program/tree/master/Scratch内容属性：公测课程内容说明：抽取…
Bzoj2780: [Spoj]8093 Sevenk Love Oimaster
题目 传送门 Sol 就是广义\(sam\) 然后记录下每个状态属于哪些串，开\(set\)维护\(parent\)树上启发式合并一下就好了 # include <bits/stdc.h> # define RG register # define IL inline # define Fill(a, b) memset(a, b, sizeof(a)) using namespace std; t…
LR分析法从理解到运用
1、 LR分析器 解释： 分析栈包括符号栈和相应状态栈 分析表包括ACTION表和GOTO表 Ⅰ动作表元素action[Si,aj] 表示当前栈顶状态为S，输入符号为a时所执行的动作。有四种情况：S(移进)，r(归约)，acc(接受)，erro…
Android 判断SD卡是否存在及容量查询
转载：http://blog.csdn.net/xinzheng_wang/article/details/7827775 Android 判断SD卡是否存在及容量查询的简单方法如下：首先要在AndroidManifest.xml中增加SD卡访问权限 [html] view plaincopy <!-- 在SDCard中创建与删除文件权限 --> <uses…
Spring Boot 教程（三）： Spring Boot 整合Mybatis
教程简介 本项目内容为Spring Boot教程样例。目的是通过学习本系列教程，读者可以从0到1掌握spring boot的知识，并且可以运用到项目中。如您觉得该项目对您有用，欢迎点击收藏和点赞按钮，给予支持！！教程连载中…
电子学会 软件编程（图形化）一级训练营
「青少年编程竞赛交流群」已成立（适合6至18周岁的青少年），公众号后台回复【Scratch】或【Python】，即可进入。如果加入了之前的社群不需要重复加入。 电子学会 软件编程（图形化）一级训练营 试题来源 青少…
win10 安装 python报错-已安装这个产品的另一版本
尝试清理干净电脑上关于之前安装的Python3，在 输入winR 输入cmd 回车 输入 python 回车 却看到 C:\Users\86136>python ‘python’ 不是内部或外部命令，也不是可运行的程序 或批处理文件。 但是再安装，又报出严重错误。 最终解决方案&am…
POJ1276Cash Machine
http://poj.org/problem?id1276 题意 ： 给你一个目标钱数，再给你钱币的种数和钱币的面值，让你用这些钱凑出不大于目标钱数的钱然后输出这个最接近且不大于目标钱数的钱。 思路 ： 背包问题，还是多重背包，就…
Python中处理时间 —— time模块
time模块 逝去的秒数 逝去的秒数表示从某个时间（Python中是“Thu Jan 1 07:00:00 1970”）开始到现在所经过的秒数。 使用 time.time() 函数可以获得逝去的秒数： >>time.time() 1388330058.8643time.time()返回一个浮点数，可…
学编程必看：逻辑思维测试
2021.09 电子学会图形化一级考试有这样的一个题目： 如下图所示，井深7米，有个蜗牛从井底往上爬，白天爬3米，晚上往下坠2米，问蜗牛几天能从井里爬出来？（ ） A. 4B. 5C. 6D. …
explicit specialization of ‘Race‘ after instantiation ，implicit instantiation first required here。
报错1： E:\project\qt\Pokemon3\PokemonServer\pokemon.cpp:470: error: specialization of ‘Race::Race() [with int N 0]’ after instantiation Race<0>::Race() : PokemonBase(ATK) ^ 报错2： explicit specialization of ‘Race’ after ins…
（转载）Linux usbtouchscreen驱动分析
在Linux内核中自带USB触摸屏驱动，以linux-2.6.33.3\drivers\input\touchscreen.c为例，进行解析： 1.驱动加载： static int __init usbtouch_init(void){return usb_register(&usbtouch_driver); //驱动注册} 其中usbtouch_dr…
关于事务隔离级别
2019独角兽企业重金招聘Python工程师标准>>> 第一种 read uncommitted 此状态下脏读，不可重复读，虚读都有可能发生。此状态下两个人同时操作一个数据库表一边开启事务没有提交，另一边也开启事物开始更改数据但是也没有提交&#x…
Datawhale组队学习周报（第047周）
本周报总结了从 2021年01月03日至2022年01月09日，Datawhale组队学习的运行情况，我们一直秉承“与学习者一起成长的理念”，希望这个活动能够让更多的学习者受益。 第 32 期组队学习一共 11 门开源课程，共组建了 11 个学习群&#…
讲座记录：从码农到架构师（精简版）
1.框架学习 不要过于在乎细节 学封装思想 不追新 否则太累 每个框架的设计理念不同 spring 比structs 优秀在哪？ 关注增量而非全量 2.如何快速学习一门新技术 “新框架的产生速度远大于个人的学习速度” 先快速学习:了解模板，套路-重复出现的代码 类似做…
Enterprise Library 4 数据访问应用程序块
Enterprise Library 数据访问应用程序块简化了实现常规数据访问功能的开发任务。应用程序可以在各种场景中使用此应用程序块，例如为显示而读取数据、传递数据穿过应用程序层( application layers)、以及将修改的数据提交回数据库系统。应用程序块包含对存储过程和内…
虚拟货币市值回调到4100亿整数关口，EOS逆势站上100关口
虚拟货币虚拟货币市值在过去24小时中，虚拟货币整体回调，市值为4100亿美元。只有EOS逆势上扬，已经站上了100元（17.5美元）上方。虚拟货币市场距离12月份最高点几乎只有一步之遥。EOS走势EOS这种疯狂的势头是很多人预料未…
【NCEPU】韩绘锦：图信号处理与图卷积神经网络
韩绘锦是华北电力大学数理系大四的学生，LSGO软件技术团队（Dreamtech算法组）/Datawhale成员，也在天池比赛中取得了不错的成绩，现保送大连理工大学软件工程学院深造。 希望参与我们线下组队学习的同学，可以在…
什么是python第三方库
Python计算生态 标准库 第三方库 标准库：随解释器直接安装到操作系统中的功能模块 第三方库：需要经过安装才能使用的功能模块 模块的概念：库Library、包Package、模块Module 出处：北理工Python慕课
Task01：青少年软件编程（Scratch）等级考试模拟卷（二级）
试题来源 青少年软件编程（Scratch）等级考试试卷（二级）【2019.09】青少年软件编程（Scratch）等级考试试卷（二级）【2019.12】青少年软件编程（Scratch）等级考试试…
App功能测试的注意点
好几个月没有写博客记录学习心得了，这次回老家深夜闲来无事写一篇记录下这段时间的面试心得，这次面试过程很多面试官都问APP的有关测试，下面我就自己的认识和工作中的经验来谈谈自己对APP测试的认识： 1.push消息推送测试 检查push…
编程以外积累： 如何给项目生成类似VS2008的说明文档
1：【下载】 目前微软提供的官方开源工具 Sandcastle 结果跑到项目中一看，抬头就来了这么一段： The Sandcastle CodePlex project is no longer under active development by Microsoft and as such, there will be no future releases to t…
python的turtle绘图体系入门必看（一）
1 设置窗体 turtle.setup(width,height,startx,starty) 说明： setup()函数不是必须的前两个参数代表窗体的横向宽与纵向长后两个参数可选，表示窗体距离屏幕的横向距离和纵向距离（也可以理解为窗体左上角距离屏幕左上角的横向和纵向距离&…
交换两个变量的值不使用第三个变量（Java）
关于这个问题网上有好多答案，最近有人说这是个奇葩问题 个人测试了一把，如果是普通的数字的话，基本上没有问题 public static void main(String[] args) {int a 2147483647;int b 2147483646;// aab;// ba-b;// aa-b;// b a (a b) * 0; …
Task02：青少年软件编程（Scratch）等级考试模拟卷（二级）
电子学会 软件编程（图形化）二级训练营 试题来源 青少年软件编程（Scratch）等级考试试卷（二级）【2019.09】青少年软件编程（Scratch）等级考试试卷（二级）【2019…
Visual Studio 15.7预览版4改进Git、C++支持
\看新闻很累？看技术新闻更累？试试下载InfoQ手机客户端，每天上下班路上听新闻，有趣还有料！\\\对于即将到来的Visual Studio 2017 15.7，微软已经发布了多个新的预览版本。这些版本的变更很有限，似…
python库引用的3种方式比较
方法一 import 库名 使用方式： <库名>.<函数名>(<函数参数>) 方法二 from 库名 import 函数名/* 使用方式： <函数名>(<函数参数>) 第一种方法可以避免第三方库函数和自定义函数重名 第二种更简洁，适用于引用…
使用livereload实现自动刷新
livereload是一个web开发辅助工具，当我们修改完html、css和js的时候会自动刷新浏览器，解放码农的双手。这样在双屏切图、写js代码的时候会提高很多效率。livereload有很多版本，比如基于ruby的版本，我们今天介绍的是nodegruntchrom…
Task03：青少年软件编程（Scratch）等级考试模拟卷（二级）
电子学会 软件编程（图形化）二级训练营 试题来源 青少年软件编程（Scratch）等级考试试卷（二级）【2019.09】青少年软件编程（Scratch）等级考试试卷（二级）【2019…