2.5 逻辑门符号的等效变换