以~^&>-分别表示非析取合取条件双条件连接词以单个大写字母表示变量（支持26个变量）以字符0或者1表示值，式子中的T与F，支持()（括号），有界面，这是源代码，可以自己直接在eclipse中运行