文件名称:chongyan
介绍说明--下载内容均来自于网络,请自行研究使用
重言式判别 一个逻辑表达式如果对于其变元的任一种取值都为真,则称为重言式;-Tautologies determine a logical expression of its argument, if for any kind of values are true, then known as the tautology
(系统自动生成,下载前可以参看下载内容)
下载文件列表
重言式判别.cpp