Automatic Judgment to the Legitimacy of a Propositional Formula
Zhang Jua · Value Engineering · 2015
This paper focuses on the methods to judge the legitimacy of a professional formula automatically. Firstly, the relevant concepts over well-formed formula of a proposition are listed. After that, the methods to judge the legitimacy of a propositional formula automatically by a computer are discussed, and the related design process is described at the end.