逻辑运算总结

基本公式

 

此外还由反演规则和对偶规则

可参考

https://blog.csdn.net/qq_46418503/article/details/118495598

 sop和pos及卡诺图化简法

sop：sum of product

pos：product of sum

https://blog.csdn.net/H19981118/article/details/124097979

sop式易由卡诺图得出也是最常用的逻辑表达式对象为logic-1

pos式的运算对象为logic-0可以由真值表得出也可以由sop公式得出

即：pos  = ~sop

借由常用公式中的式（17）和式（18）可以完成与或到或与的变化。

在简化卡诺图的过程中，如果出现了未知逻辑时，为方便化简可以让其等于logic1或logic0方便卡诺图的简化，此过程不影响最终结果，因为最后也不关心未知逻辑的情况。