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