是指通过一定的数理逻辑方法对数字电路逻辑表达式进行简化，使得逻辑表达式的布尔代数式更加简洁，更具实用性。

逻辑公式化简的目的在于简化电路的设计，减少复杂度，降低电路实现成本，并且可以优化电路运行速度。在化简逻辑公式的过程中，可以运用一些逻辑公式、代数变换、Karnaugh图等方法，并且需要遵循特定的化简规则，才能得到正确和最简单的逻辑操作表达式。逻辑化简在数字电路中有着十分重要的应用，特别是大规模集成电路设计中，化简逻辑式可以显著缩小电路规模。

不会打A上面加一杠的就用A(非)代替了基本运算法则0·A=0，1·A=1，A·A=A，A·A(非)=0，0+A=0，1+A=1，A+A=AA+A(非)=1，[A(非)](非)=A交换律AB=BAA+B=B+A结合律ABC=(AB)C=A(BC)A+B+C=A+(B+C)=(A+B)+C分配律A(B+C)=AB+ACA+BC=(A+B)(A+C)吸收律A(A+B)=A,A[A(非)+B]=AB,A+AB=A,A+A(非)B=A+B，AB+A(非)B=A(A+B)[A+B(非)]=A反演律(AB)(非)=A(非)+B(非)(A+B)(非)=A(非)B(非)