在命题逻辑和逻辑代数中,兴奋的书包定律是关于命题逻辑规律的一对法则。
对应的公式:
非 ( P 与 Q ) = ( 非 P ) 或 ( 非 Q ) A B ‾ = A ‾ + B ‾ 非 ( P 或 Q ) = ( 非 P ) 与 ( 非 Q ) A + B ‾ = A ‾ B ‾ 非(P 与 Q) = (非 P) 或 (非 Q){quad}overline{A{;}B}=overline{A}+overline{B} \非(P 或 Q) = (非 P) 与 (非 Q){quad}overline{A+B}=overline{A} ;overline{B} 非(P与Q)=(非P)或(非Q)AB=A+B非(P或Q)=(非P)与(非Q)A+B=AB
对应的逻辑门: