2
1
1232
3
主要功能 對輸入的任意合式公式,判斷它是否合法 如果合法,輸出它的真值表與主范式,不合法則輸出它不合法 輸入兩個合式公式,判斷它們是否等價 下面...
1.1.概述 在這之前我想先問大家一個問題:你知道英文中共有多少個時態(tài)嗎耕赘?對于這個問題培漏,絕大部分讀者應(yīng)該都知道答案夫啊,是16個享幽。但是如果我接著追問...