离散数学实验1
利用真值表法求取主析取范式以及主合取范式的实现
html:左中右结构
左：点击添加命题变元和减少命题变元,命题变元个数由参数num存储，命题变元由布尔数组variable存储。（P，Q，R，S，T）
中：上方由用户输入合式公式，点击确定后在下方显示主析取范式和主合取范式
右：可添加 and（$and） 、or($or)、 not($not).
点击确定后读取用户输入，用for(i=0; i 小于 2^num ; i++)遍历各种命题变元的取值
（若T为0则+1，若为1则改为0且S进1……），再运行命题（if(……)）
，将A为true的i存储到数组resultOr中,为false的存储到resultAnd中。
resultOr中的i表示主析取范式中的小项。
将i取出，不断除2取余（重复num次），为0则命题变元加非（一个数字表示一个小项，下同）（用长度为num的数组记录是否加非？）
resultAnd中的i表示主合取范式中的大项。
将i取出，不断除2取余（重复num次），为1则命题变元加非