那么：F' = (A + BC)' = A'(BC)' = A'(B'+ C') = A'B' + A'C'式中 F' 为F的非(逆)，也就是F的反函数。总之一个逻辑代数的表达式F或称逻辑函数的反函数F'可用逻辑代数的定理、公式、真值表获得。