数电笔记----逻辑函数转化化简公式

最新推荐文章于 2023-09-01 11:47:36 发布

白川不会秃头

最新推荐文章于 2023-09-01 11:47:36 发布

阅读量2k

点赞数 2

文章标签：算法

本文链接：https://blog.csdn.net/qq_71684296/article/details/129226481

版权

1.1重要公式

分配律	A(B+C)=AB+AC	A+BC=(A+B)(A+C)
反演律	$\large \overline{A+B}=\overline{A}\cdot \overline{B}$	$\large \overline{A\cdot B}=\overline{A}+\overline{B}$

注意这两个是高中学的逻辑预算中新加入的部分，尤其是分配律第二个式子普通代数中是不成立的但是在逻辑运算中是成立的。

反演律也是解决式子中有取反的化简是非常有用的

1.2三个基本准则

1.2.1带入规则

在一个等式两边所有出现某一个变量的地方用一个相同的函数代换（取反符号下面也要代换），等式依然成立。

例子：若 $\large \overline{a+b}=\overline{a}\cdot \overline{b},f=a+b$ 等式带入进行变化后仍然成立

将a代换成f =a+b 结果： $\large \overline{a+b+b}=\overline{a+b}\cdot\overline{b}$

要像这样整体代换然后在对有取反的式子运用反演律把他们拆开化简。

1.2.2反演规则

反演规则简单来说主要就是三个互换，分别是‘.’和‘ +’互换，单变量的进行取反，常变量‘0’和‘1’互换

注意

1.运算顺序保持不变，括号该加的时候要加

2.不要对多变量取反符号进行取反，就比如 $\large \overline{\overline{a}+b}$ ,反演只能把a上面那个符号去掉不能去掉a+b上面的取反，注意是单变量取反。

1.2.3对偶规则

对偶规则像比于反演规则就是少了单变量取反，注意事项也和反演差不多。

重要性质：F的二次对偶函数(将F对偶运算两次)是G，则 G=F;

1.3公式化简

我就不写例子了方便直接查阅各个公式。

1.3.1与或式的化简

相邻项合并法

$\large \overline{a}\cdot b+a\cdot b=b$ 分配律没什么好说的

消项法

$\large a+a\cdot b=a$ 当a是ab的一个因子的时候就可以直接删去长的那个

消去互补因子法

$\large a+\overline{a}\cdot b=a+b$ 当含有另一个的互补因子（变量取反）可以直接将互补因子删去

拆项法

利用 $\large a+\overline{a}=1$ 在例如三个变量加四个变量无法做到变量一致，可以通过引入 ‘1’来达到变量数量平衡

填项法

这个只能说凭感觉把一个变量再增加一个很考验技巧，依据是 $\large a+a=a$ ;这个给个例题方便理解 $\large \overline{a}b\overline{c}+\overline{a}bc+abc=(\overline{a}b\overline{c}+\overline{a}bc)+(\overline{a}bc+abc)=\overline{a}b+bc$ 这个里面就是把第二个变量变成了两个，再进行相邻合并法化简