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