说明：  用二叉树实现逻辑表达式的基本运算,包括逻辑与,或,非,还可以判别表达式是重言式,还是矛盾式.
(binary tree using logical expressions of basic operations, including logic and, or, not, we can judge expression is tautology, or contradiction.)