数字逻辑，真头痛