《数字电子技术》函数化简F1=AB+AC+BC+BCD+BCE+BCF用公式法