3.3 数字基础及逻辑函数化简