formula-library:研究项目

公式库 这是一个教程项目 公式库 一个允许您确定字符串是否为逻辑公式以及公式是否为DNF的库。 语法：公式：&lt;逻辑常数> | &lt;原子公式> | &lt;复杂公式>布尔常数：<0> | <1>原子公式：&lt;拉丁字母的大写字母>复杂公式：&lt;一元复杂公式> | &lt;二进制复杂公式>一元复杂公式：&lt;（> &lt;“！”> &lt;公式>）>二元复杂公式：&lt;（> &lt;公式> &lt;二元连接词> &lt;公式> &lt;）>二元连接词：&lt;|>-析取； &lt;＆>-连词； &lt;〜>等价； &lt;“>”>-含义 客户 一个使用该库并演示其工作方式的ASP.NET MVC客户端。