合肥学院数字逻辑第七章