2020年3月10日
离散数学真值表的计算
摘要： 大一菜鸡肝了近两个小时的成果，用于计算真值表; 拿来水一篇博客（并不）; 代码中比较重要的两部分是原式向后缀式的转换，遍历所有原子命题的可能取值; 具体的细节看代码吧，尽量添加了注释; #include<bits/stdc++.h> using namespace std; const int ma 阅读全文
posted @ 2020-03-10 17:52 Ssspirit 阅读(1723) 评论(0) 推荐(0)