Title:
Tautologies-discrimination
Download
Description: Data structure that centralized tautology discrimination, a logical expression the terminal input, no longer than one line.
2, logical operators, including | & ~ represents or non. Operator precedence degree increments, but can be changed in parentheses.
3, logical argument to uppercase expression anywhere can contain multiple spaces.
4, the use of bottom-up operator precedence
5, tautology display true forever contradictory display false forever
Otherwise, it displays satisfactible .
To Search:
File list (Check if you may need any files):
重言式判别\重言式判别.doc
..........\重言式的判别.cpp
..........\重言式的判别.v11.suo
重言式判别
