邏輯方程式模擬