fundamental_principle.md

逻辑代数的基本规则

代入规则

逻辑等式中任意逻辑变量可用逻辑函数代替

反演规则

对于逻辑函数$F$，将所有的$\cdot$变成$+$，$+$变成$\cdot$，$0$变成$1$，$1$变成$0$，原变量变成反变量，反变量变成原变量，就得到了$\overline{F}$。

对偶规则

对于逻辑函数$F$，如果将其中所有的$\cdot$变成$+$，$+$变成$\cdot$，$0$变成$1$，$1$变成$0$，而变量保持不变，所得到的函数叫做$F$的对偶式，记作$\overline{F}$。

如果两个逻辑函数式相等，那么，它们的对偶式也一定相等。