西安石油大学数字逻辑实验三 触发器2