主要功能

1. 對輸入的任意合式公式,判斷它是否合法
2. 如果合法,輸出它的真值表與主范式,不合法則輸出它不合法
3. 輸入兩個(gè)合式公式,判斷它們是否等價(jià)

4. 下面是幾個(gè)例子

   
   
   例1.png
   
   
   例2.png
   
   
   例3.png
   
   
   例4.png

目錄結(jié)構(gòu)

應(yīng)用根目錄
||------css-------------------------------------------樣式表目錄
||---------||---common.css-----------------------公共樣式表文件
||------js---------------------------------------------JavaScript文件存放目錄
||---------||---common.js-------------------------公共JavaScript文件
||---------||---equivalence.js--------------------判斷兩公式邏輯等價(jià)的文件
||---------||---Tools.js-----------------------------工具類文件
||---------||---truthTable.js-----------------------輸出真值表與主范式的文件
||------equivalence.html------------------------判斷邏輯等價(jià)的界面文件
||------truthTable.html---------------------------輸出真值表與主范式的界面文件

使用說明

step1. 直接將應(yīng)用根目錄中的equivalence.html文件或者truthTable.html文件拖入瀏覽器即可使用,本應(yīng)用只在chrome和ie11上測試過,經(jīng)測試可以正常使用;
step2. '!'代表非聯(lián)結(jié)詞,'&'代表合取聯(lián)結(jié)詞,'|'代表析取聯(lián)結(jié)詞,'>'代表?xiàng)l件聯(lián)結(jié)詞,'~'代表雙條件聯(lián)結(jié)詞,命題變元可以用26個(gè)大寫英文字母表示
step3. 如果在判斷邏輯等價(jià)的界面中輸入T或F,系統(tǒng)會認(rèn)為它是重言式或者矛盾式。如下圖所示:

重言式.png

矛盾式.png