1.這個計算器可用在離散數學的數理邏輯中，純屬工具，隨意傳播，由java語言實現,解壓即可運行，需要按照java環境。可以去這里下載運行環境：http://www.skycn.com/soft/3116.html
2.這個計算器可以計算邏輯表達式的值、對應的真值表、主析取范式、主合取范式。
3.輸入表達式時可以在表達式欄中輸入，也可用相應的按鈕輸入，變元只能是PQRST。由于等價連接詞無法識別，所以用等號代替，這也是一個無奈的選擇。
4.計算前請選擇變元個數（默認為3元）并對變元賦值。變元個數最高為5，基本能滿足日常的計算。
5.計算器有自動檢查表達式是否正確的功能，如果判斷功能有誤，麻煩您告訴我您的表達式。
作者qq：86143838
email:qiaomuf@163.com