在pycharm上创建虚拟环境，激活时才发现前面没有base,也没有虚拟环境名称，查阅资料。把shell paths改成cmd.exe就可以用了。改成cmd之后重新打开项目前面就有了环境名称。

离散数学11.公式类型可用真值表判断1）重言式也是永真式，公式真值恒为1。2）矛盾式永假式，真值恒为0。3）可满足式不是矛盾式的就都是可满足式。重言式一定是可满足式。成真赋值与成假赋值也叫成真指派与成假指派。一组原子的取值（真值指派）使得公式为真：成真指派（赋值）一组原子的取值（真值指派）使得公式为假：成假指派（赋值）等值式...