查看会员资料
- Email:用户隐藏
- Icq/MSN:qq
- 电话号码:
- Homepage:
- 会员简介:这家伙很懒,什么都没留下!
最新会员发布资源
ForeverTF
- 重言式是当所有逻辑变元取遍所有值时都为真的表达式。这个程序是用来对重言式进行判别的!还可以吧!牛人别见笑!-tautology is when all logic variables take out all values are true expressions. The procedure is used to tautology runs! Also! Other cattle were laughed at!