查看会员资料
用 户 名：涛**
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
200901
- 求解任意命题公式的真值表，从文件中读入“命题公式”，缺点是：命题变元默认是4个，当命题变元的个数变化后必须修改源代码的NUM-The truth table for solving arbitrary propositional formula, read from the file into the " propositional formula," The disadvantage is that: Proposition argument default is 4, wh