数字逻辑实验三 实验四