操作方式：
運行程序以后，根據提示輸入命題邏輯表達式，或運算用|，與運算用 &,蘊涵運算用>，等價運算用=,命題變元使用英文字母，注意：表達式一定記得要用#結尾，否則會提示出錯的。
輸入完后鍵入回車，程序會自動檢查你所輸入的表達式的合法性并給出相應的提示。表達式檢查為正確后，即輸出真值表，析合范式與合析范式。此時程序會詢問是否要再次運算，若輸入Y，則繼續運算，否則退出程序。
開發人員：
計算機系06級1班
學號：061221009
姓名：陳陽
聯系方式：
1．	手機：15950596366
2．	E-mail:chenyang881122@sina.com
3．	QQ:693497170