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