symbol.h

重言式是当所有逻辑变元取遍所有值时都为真的表达式。这个程序是用来对重言式进行判别的！还可以吧！牛人别见笑！

#ifndef SYMBOL_H
#define SYMBOL_H

#define         AND             '&'
#define         OR              '|'
#define         NOT             '!'
#define         LEFT_BRACKET    '('
#define         RIGHT_BRACKET   ')'

#endif