Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable.
英
美
- 給出了命題邏輯中任一命題公式的真值表的生成算法與命題公式類(lèi)型的判定算法，實(shí)現了利用計算機對有限多個(gè)命題公式的真值表的直接計算和輸出，以及對一個(gè)命題公式是重言式、矛盾式或可滿(mǎn)足式的機械判定。
