命题公式化简
用C或者C＋＋编写
命题公式化简
要求：任意输入一个命题公式，公式中可以表示否定、逻辑与、逻辑或、条件、双条件等运算符，能够判断公式是否合法，并对公式进行化简（化为最简式，形式最简单，只能由否定、逻辑与、逻辑或组成）。
[解决办法]
这做全面将是一个系统
1是查找与或非等~判断要不要能不能化简
2化简
合不合法原因就很多，&|&这就不合法，或者try catch吧，catch到错误就是不合法
化简就更麻烦了，从前到后从后到前的查，识别，麻烦，不好搞
这得细致的分析，先把流程图画出来，再后再用语言实现
[解决办法]
编码并不复杂，关键是相应的简化规则
