范式计算器matlab代码

原理介绍   

  本算法是采用真值表法计算的，计算出输入范式的真值表，和对应的最小项以及最大项，然后根据真值表确定主析取和主合取范式，具体流程图如下。

   这个算法的原理在于用户在界面上输入想要转换的范式之后，程序会将这个范式读入并保存为String类型，当我们接收到这个范式之后，首先会对这个范式的输入位数进行判断。

  然后为了能够方便接下来的转换和操作，我们首先将命题变项进行了替换，这个做法极大的简化了真值表的求取和最大项、最小项的确定。然后根据我们之前判断出来的位数，和我们替换之后的新的命题变项我们就可以确定出最小项和最大项了，并将其分别保存在名为min和max的string数组里

  然后就是求出对应范式的真值表了，对于真值表的求取，我们需要首先对算式进行转换，这也是这个程序的核心内容，我通过对于不同的符号进行不同的判断，将我输入的范式转换成了逻辑算式，具体转换方法可以参照conventor.m，在这里我们就不再赘述。求出逻辑算式后，我们就能够通过对于命题变项的不同赋值，求出对应的真值表。

   有了真值表和最大项、最小项之后，我们就可以开始计算程序的主析取和主合取范式了。这里采用的做法是根据真值表的结果，对字符串进行拼接