基于sympy计算离散数学命题逻辑表达式的真值表、合取/析取范式以及随机生成真值表并由真值表中真值分布求取对应的真值函数或决策函数——在特征组合分类获取特征函数时有用
fromsympyimportsymbols,satisfiable,simplify_logic,true,false,And,Or,Notfromsympy.logic.boolalgimportANFform,truth_table,BooleanTrue,to_cnf,to_dnf#SumOfProductionForm积和式,ProductionofSumForm和积式fromsympy