常见例句雙語例句Therefore, an improved logic implication algorithm has been proposed, which was inspired by the by the single pass deductive fault simulation algorithm.因此，我們引進了一種新的尋找邏輯蘊涵的方法，該方法的霛感來自於單通道縯繹故障的模擬算法。 返回 deductive simulation