1.消去蕴含等价2.将否定符号移动到紧靠谓词的位置上3.变量标准化即，不同含义的变量用不同字母。4.消去存在量词分两种情况：存在量词出现在一个或者多个全称量词辖域内；存在量词不出现在全称量词辖域内。5.化为前束式{全称量词串}（不含全称量词的式子）6.化为skolem标准型7.略去全称量词即，全称量词串直接省略不写。8.消去合取连接词...

1.消去蕴含等价2.将否定符号移动到紧靠谓词的位置上3.变量标准化即，不同含义的变量用不同字母。4.消去存在量词分两种情况：存在量词出现在一个或者多个全称量词辖域内；存在量词不出现在全称量词辖域内。5.化为前束式{全称量词串}（不含全称量词的式子）6.化为skolem标准型7.略去全称量词即，全称量词串直接省略不写。8.消去合取连接词...

1.消去蕴含等价2.将否定符号移动到紧靠谓词的位置上3.变量标准化即，不同含义的变量用不同字母。4.消去存在量词分两种情况：存在量词出现在一个或者多个全称量词辖域内；存在量词不出现在全称量词辖域内。5.化为前束式{全称量词串}（不含全称量词的式子）6.化为skolem标准型7.略去全称量词即，全称量词串直接省略不写。8.消去合取连接词...

1.消去蕴含等价2.将否定符号移动到紧靠谓词的位置上3.变量标准化即，不同含义的变量用不同字母。4.消去存在量词分两种情况：存在量词出现在一个或者多个全称量词辖域内；存在量词不出现在全称量词辖域内。5.化为前束式{全称量词串}（不含全称量词的式子）6.化为skolem标准型7.略去全称量词即，全称量词串直接省略不写。8.消去合取连接词...

下载pwn工具的时候，发现换个清华源比较舒服https://pypi.tuna.tsinghua.edu.cn/simple

checksec安装与使用安装sudo apt install checksec报错无处不在，安装的时候出现一下报错：然后换尝试了疯狂换源+updatge不行，最后换了一种安装方式，如下：参考 https://github.com/slimm609/checksec.shgit clone https://github.com/slimm609/checksec.sh将其拷贝到任意全局bin目录下