基本公式和法则

这里只记录几个比较难记的

对偶法则 F —> 对偶式G F 和 G 互为对偶式 F成立 G就成立 反之亦然

反演法则 —> 由原函数求反函数

逻辑函数的代数法化简

略

卡诺图化简 (重点)

逻辑函数的标准式 —> 最小项

卡诺图结构 —> 保证逻辑函数的逻辑相邻关系 即图上的几何相邻关系 所以每相邻方格的变量组合之间只允许一个变量取值不同 为此 卡诺图变量标注均采用循环码( Gray码 )

Gray码的构造

(1) 手动构造 : 最低位翻转(000->001) —> 最右边的1的左边位翻转(001->011)

(2) 镜像构造 :

与或逻辑的化简

与非逻辑化简 ( 与或逻辑–> 两次取反–> 用一次德摩根定律 )

或与逻辑化简 ( 圈’0’求反函数 –> 用德摩根定律取反 )

或非逻辑化简 ( 或与逻辑–> 两次取反–> 用一次德摩根定律 )

与或非逻辑化简 ( 圈’0’求反函数 –> 直接取反就OK了)

无关项及其应用

对化简有利项就圈进来 对化简无利项就不要圈进来

有原变量无反变量的逻辑函数的化简( P59 例35 )

阻塞法

多输出函数的化简( 统一考虑 尽可能利用公共项)