LogicUS
设计目标
已创建此程序包以与计算机逻辑配合使用，特别是与命题逻辑和一阶逻辑（正在开发中）配合使用。 对于一系列已创建的类型和函数，它们允许对公式进行定义和解释，以及应用主要算法来减少公式和集合的一致性。
概述
创建的模块为定义，执行和可视化专用领域中使用的主要算法提供了必要的工具。 具体的：
命题逻辑
LogicUS.PL软件包允许定义公式和命题集，在该公式和命题集上可以应用一系列也已实现的求解算法。 接下来，我们对每个公开的模块进行概述：
LogicUS.PL.SintaxSemantics ：它构成命题逻辑的基础，因此它揭示了公式定义的语法以及其解释的语义以及逻辑命题领域中的一些基本算法。
LogicUS.PL.SemanticTableaux ：它开发了用于语义板的所有必要工具，可以区分不同类型的公式和规则，还可以可视化整个板。
LogicUS.PL.NFC ：
