电路或非门公式化简与程序逻辑

Y=(A+B)'=A'*B'
Y=(A*B)'=A'+B'
Y=AB+BC=(A+C)*B 等等,例子：if((A&&B)||(B&&C))=if((A||C)&&B)