借助于软件工程中“由粗到细，逐层分解”的思想，定义了对各种逻辑联结词进行处理的基本模型。

Based on the idea of "analyze stage by stage, from coarse to minute" in software engineering, the basic models of processing all kinds of logic connectives are defined.

youdao

借助于软件工程中“由粗到细，逐层分解”的思想，定义了对各种逻辑联结词进行处理的基本模型。

Based on the idea of "analyze stage by stage, from coarse to minute" in software engineering, the basic models of processing all kinds of logic connectives are defined.

youdao