电工学逻辑电路ABC+A+B+C=1证明