ForAxel的博客

原创 使用C++求命题公式的主析取范式与主合取范式

最近的离散数学的一个上机作业，要求任意输入一个命题公式，求它的真值表与主析取范式和主合取范式。其中的命题连接词都是用特殊符号来表示（怕麻烦……），并最终选择使用C++来编写程序。 先贴代码： // 五种联结词优先级 ! * + @ $ 分别代表否定 合取 析取 单条件 双条件 //"规定符号代换规则为 ┐:! ∧:* ∨:+ ->:@ <->:$" //"输入应当保...