tautology is when all logic variables take out all values are true expressions....
- 资源大小:18.55 kB
- 上传时间:2021-06-30
- 下载次数:0次
- 浏览次数:1次
- 资源积分:1积分
-
标 签:
数据结构
资 源 简 介
重言式是当所有逻辑变元取遍所有值时都为真的表达式。这个程序是用来对重言式进行判别的!还可以吧!牛人别见笑!-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!
文 件 列 表
ForeverTF
BinaryTree.h
bitreenode.h
Expression.h
ForeverTF.dsp
ForeverTF.dsw
ForeverTF.ncb
ForeverTF.opt
ForeverTF.plg
logicalelement.cpp
logicalelement.h
main.cpp
Symbol.h