cryptominisat5运行需要的逻辑表达式

目前我知道的是windows在cmd窗口打开cryptominisat5之后可以直接运行cnf文件。

举例一个4位s-box的输入输出，并给出它们的逻辑表达式，步骤如下：

1. 从第二行开始，前四位表示输入，后四位表示输出，第一行的字母A~H是对每一位的表示，即变量，（用字母是为了好说明问题，应该用1,2,3,…,8这八个数字表示变量放在第一行替换掉A-H的）后边的F0我目前认为是必须的，注意F0以及每行最后一个1之前的两个逗号
   

2. 另存为.csv格式，且编码为UTF-8。如下图
   

3. 完了打开刚另存的文件如下：
   
   

4. 此时需要软件Logic Fridy来帮助生成逻辑表达式，析取范式还是合取范式我也分不太清楚了。