weixin_44535315的博客

原创 离散数学编程输出主析取范式（二进制排列转十进制输出）

【问题描述】 请根据给定的命题公式，计算其真值为T的小项，列出主析取范式，并输出结果。 【输入形式】 输入一个字符串（字符串长度<=50）形式的命题公式，以回车表示输入结束。其中的命题公式为仅包含原子命题、联结词和括号的合式公式。联结词仅包含下述5中联结词： 1、否定，表示为“!” 2、合取，表示为“*” 3、析取，表示为“|” 4、条件，表示为“-” 5、双条件，表示为“=” 例如： (P...