4.1逻辑模拟